A Formal Method Experience at Secure Computing Corporation
Abstract elided by the publisher.
Related papers
- Causality and Semantic Separation PLDI 2026
- Experience with an Attribute Grammar-Based Compiler POPL 1982
- A uniform type structure for secure information flow POPL 2002
- Using formal methods to enable more secure vehicles: DARPA's HACMS program ICFP 2014
- Programming language methods in computer security POPL 2001
- The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future Onward! 2025
- Corporate Sponsors CGO 2006
- Persistent Storgage for a Workflow Tool Implemented in Smalltalk OOPSLA 1994