HCSS 2018 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 2018 Poster Session

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

Reusability of Modeling and Verification Components between the DesignBIP and FSolidM Design Studios
Anastasia Mavridou¹, Aron Laszka², and Janos Sztipanovits¹
¹Vanderbilt University and ²University of Houston

Ground Impact and Hazard Mitigation for Safer UAV Flight Response
Andrew Poissant, Lina Castano, Huan Xu, University of Maryland

Static Analysis of Programmatically Generated Network Software: Challenges and Synergies
Jonathan Myers¹, Raymond McDowell¹, Christopher Rouff¹, Doug Williams², Daniel Bennett³
¹JHU/APL, ²Leidos, ³Shavano Systems