ACM Computing Surveys (CSUR)
Proof of separability: A verification technique for a class of a security kernels
Proceedings of the 5th Colloquium on International Symposium on Programming
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Design and verification of secure systems
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
SP '83 Proceedings of the 1983 IEEE Symposium on Security and Privacy
ACSAC '03 Proceedings of the 19th Annual Computer Security Applications Conference
The role of motherhood in the pop art of system programming
SOSP '69 Proceedings of the second symposium on Operating systems principles
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
IEEE Transactions on Computers
A Framework for Software Fault Tolerance in Real-Time Systems
IEEE Transactions on Software Engineering
Computer
Principles of Computer System Design: An Introduction
Principles of Computer System Design: An Introduction
Capsicum: practical capabilities for UNIX
USENIX Security'10 Proceedings of the 19th USENIX conference on Security
Hi-index | 0.00 |
Brian Randell has had an enormous impact on advances directed toward system dependability over the past 40 years. This Festschrift contribution summarizes a few of his contributions as well as recent work that has been at least partially inspired by Brian's influence.