HCSS 2015 - Poster Session | Science of Security Virtual Organization

High Confidence Software and Systems Conference

The twenty-fifth annual High Confidence Software and Systems (HCSS) Conference, renowned for bringing together a world-class community of researchers, will take place during the week of May 12th, 2025 in Annapolis, Maryland. This annual event is structured to explore and promote new scientific and technological foundations essential for the development of next-generation engineered designs, crucial for the effective operation of life-, safety-, security-, and mission-critical systems.

HCSS 2015 - Poster Session

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