LAW 2014 Presentations

Modular Construction of Systems and Layered System Architectures by Rich Subsystem Specs
Manfred Broy, Institut für Informatik, Technische Universität München (DE)
Commercial Solutions for Classified (CSfC) Overview
Jeffrey Watkins, National Security Agency
Dancing with the Adversary: a Tale of Wimps and Giants
Virgil Gligor, Carnegie Mellon University
High Assurance Cyber-Physical Systems
Natarajan Shankar, SRI International Computer Science Laboratory

A Cost Effective High Assurance Layered Solution for MLS Test Training and LVC
James A. Marek, Rockwell Collins
Assurance for Defense-in-Depth via Retrofitting
Vinod Ganapathy, Rutgers University, Trent Jaeger, The Pennsylvania State University, Gang Tan, Lehigh University, Christian Skalka, University of Vermont
Integrated Framework for Multi-layer Certification-based Assurance
Rajesh Harjani, Antonio Maña, Marcos Arjona, Antonio Muñoz, Javier Espinar, Hristo Koshutanski, University of Malaga (ES)
Towards High Assurance Platforms for Securing the Cloud with Disparate Domains
Sujay Doshi and Roger Schell, Department of Informatics, University of Southern California

Towards a Highly Secure PLC Architecture for CPS
Nikhil Mahesh, Student, Department of Informatics, University of Southern California

Empirical Evaluation of API Usability and Security
Sam Weber, Robert Seacord, Forrest Shull, David Keaton, Software Engineering Institute; Brad Myers, Michael Coblenz, Carnegie Mellon University
Layered Assurance of Security Policies for an Embedded OS
Jia Song and Jim Alves-Foss, Center for Secure and Dependable Systems, University of Idaho
Mapping Security Policies to Implementations
Jim Alves-Foss, Center for Secure and Dependable Systems, University of Idaho