LAW 2015 Presentations
Invited Speakers
- Architecture Principles and Certification Approaches for Medical Application Platforms
John Hatcliff, Kansas State University - Layers of Formal Verification for Full-Scale NextGen Automated Air Traffic Control
Kristin Rozier, University of Cincinnati - Virtual Integration and Incremental Assurance of Critical System
Peter Feiler, Carnegie Mellon Software Engineering Institute - Reflections on Composite Compliance as applied to global standards and regulatory requirements
Heather Hinton, IBM - A Layered Assurance Experience Report
Dylan McNamee, Galois - CHERI: A Hybrid Capability Architecture
Robert Watson, University of Cambridge, Peter Neumann, SRI International
Contributed Papers
- Foundations for Auditing Assurance
Sepehr Amir-Mohammadian, University of Vermont, Stephen Chong, Harvard University, Christian Skalka, University of Vermont - Defining a Model for Defense in Depth
James Sullivan and Michael Locasto, University of Calgary
WIPs
- Compositional Assurance in Distributed MILS
Rance DeLong