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