Proof techniques for hierarchically structured programs
Communications of the ACM
A model for verification of data security in operating systems
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
A note on the confinement problem
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
PASCAL user manual and report
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
Formal verification of the ucla security kernel: abstract model, mapping functions, theorem generation, and proofs.
Report on the programming language Euclid
ACM SIGPLAN Notices
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
A Model for Multilevel Security in Computer Networks
IEEE Transactions on Software Engineering
Developing and using a “policy neutral” access control policy
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
MULTISAFE—a modular multiprocessing approach to secure database management
ACM Transactions on Database Systems (TODS)
Analyzing the security of an existing computer system
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Shared resource matrix methodology: an approach to identifying storage and timing channels
ACM Transactions on Computer Systems (TOCS)
Parallel programs: proofs, principles, and practice
Communications of the ACM
Proceedings of the 25th International Conference on Software Engineering
Design and verification of secure systems
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Reflections on the verification of the security of an operating system kernel
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Formalising the L4 microkernel API
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
High assurance system software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Running the manual: an approach to high-assurance microkernel development
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Types, bytes, and separation logic
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Providing policy control over object operations in a mach based system
SSYM'95 Proceedings of the 5th conference on USENIX UNIX Security Symposium - Volume 5
Towards trustworthy computing systems: taking microkernels to the next level
ACM SIGOPS Operating Systems Review
Towards a practical, verified kernel
HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Electronic Notes in Theoretical Computer Science (ENTCS)
CVM -- A Verified Framework for Microkernel Programmers
Electronic Notes in Theoretical Computer Science (ENTCS)
The Verisoft Approach to Systems Verification
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Secure Microkernels, State Monads and Scalable Refinement
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
A security policy for a profile-oriented operating system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Formal Memory Models for the Verification of Low-Level Operating-System Code
Journal of Automated Reasoning
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Formal pervasive verification of a paging mechanism
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Abstract specification and formalization of an operating system kernel in Z
ACM SIGOPS Operating Systems Review
From a verified kernel towards verified systems
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Concerning "Modeling" of computer security
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Practical software model checking via dynamic interface reduction
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
A unified memory model for pointers
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automated discovery of mimicry attacks
RAID'06 Proceedings of the 9th international conference on Recent Advances in Intrusion Detection
Parametric verification of address space separation
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Code optimizations using formally verified properties
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Formalising the L4 microkernel API
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 48.23 |