Visible to the public HCSS 2015 - Poster Session

Submitted by Katie Dey on Thu, 04/09/2015 - 5:08pm

The poster session will be held between 10:30 a.m. - 11:15 a.m. and 3:00 p.m. - 3:45 p.m. on Thursday, May 7, in the atrium of the Governor Calvert House.

SecProve: Analyzing Software for Security During Construction
Myla Archer, U.S. Naval Research Laboratory

Towards Formalizing Software Bugs
Paul E. Black, NIST

FUSE: Beyond Single-App Security
Rogan Creswick, Galois

Science of Security Publications of Interest
Don Goff, Cyberpack Ventures

Deep Specifications and Certified Abstraction Layers
Ronghui Gu, Yale University

CoqPIE: A Coq IDE Aimed at Improving Proof Development Productivity
Kenneth Roe, The Johns Hopkins University

Runtime Assurance for Complex Autonomy
John Schierman, Barron Associates, Inc.

Inferring Contracts and Proving Properties Using Abstract Interpretation Over a Global Value Numbering
Tucker Taft, AdaCore

Bringing Roots of Trust to Reality
Adam Wick, Galois