Poster sessions were held in the atrium of the Governor Calvert House from 2:45 p.m. to 3:30 p.m. on Monday, April 29 and Tuesday, April 30, 2019.

ACE: Assurance, Composed and Explained
Gustavo A. Quirós, Arquimedes Canedo, Sanjeev Srivastava, Wei Xia, Pranav Kumar, Amar Kannan
Siemens Corporate Technology

Affix: Binary Model Generation for Static Analysis
Michael Hicks
University of Maryland

Information Exposure (IEX) Class in the Bugs Framework (BF)
*Irena Bojanova, *+Yaacov Yesha, *Paul E. Black, ++Yan Wu
*National Institute of Standards and Technology, +University of Maryland, Baltimore County, ++Bowling Green State University

Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems
Bradley Potteiger, Zhenkai Zhang, Xenofon Koutsoukos
Vanderbilt University

Practical Application of SPARK to OpenUxAS: Initial Results
*M. Anthony Aiello, *Dr. Claire Dross, *Dr. Patrick Rogers,
**Dr. Laura Humphrey, and **James Hamil
*AdaCore Technologies, Inc., **Air Force Research Laboratories

Reasoning with Assurance Arguments under Uncertainty – Composing Formal and Non-Formal
Sumit Ray, Dr. Rebecca Cathey, Dr. Paul Vines, Dr. Allyson O’Brien
BAE Systems