HCSS 2017 Poster Session | Science of Security Virtual Organization

High Confidence Software and Systems Conference

A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems. The twenty-fourth annual High Confidence Software and Systems (HCSS) Conference will be held May 6-8, 2024.

HCSS 2017 Poster Session

Poster sessions held in the atrium of the Governor Calvert House at the following times:

2:30 p.m. and 3:00 p.m. on Monday, May 8
2:30 p.m. and 3:30 p.m. on Tuesday, May 9
2:30 p.m. and 3:15 p.m. on Wednesday, May 10

Trustable Autonomous Systems Lifecycle
Howard Reubenstein
BAE Systems Technology Solutions

Formal Methods for an Industrial Control System
Ian Blumenfeld, Yanni Kouskoulas, Durward McDonell, Mark Thober
Johns Hopkins University Applied Physics Laboratory

The New Cryptographic Store/Transfer (CST) Class from Bugs Framework (BF)
Paul Black, Irena Bojanova, Yaacov Yesha, Yan Wu
NIST

Vendor Truth Serum
Eric Burger, Gregory Klass
Georgetown University

Verifying an x86 Supervisor-Mode Program that Interacts with the Paging Data Structures
Shilpi Goel*, Warren A. Hunt, Jr.**
*Centaur Technology, Inc., **UT Austin

Verifying Elections
Joseph Kiniry, Daniel Zimmerman, Joey Dodds
Galois, Inc.