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.