Cybersecurity and Software Assurance

Formal Verification of Prim’s Algorithm in SPARK

Brian Wheelhouse, Air Force Institute of Technology
Kenneth Hopkinson, Air Force Institute of Technology
Laura Humphrey, Air Force Research Laboratory

Online

12:00 AM - 12:00 AM

Visit Site

Hardening Honeypots for Industrial Control Systems

Joseph Meier, Naval Postgraduate School
Thuy Nguyen, Naval Postgraduate School
Neil Rowe, U.S. Naval Postgraduate School

Online

12:00 AM - 12:00 AM

Visit Site

Implementation and Validation of non-semantic Out-of-Distribution Detection on Image Data in Manufacturing

Meng Jin, Fraunhofer Institute for Industrial Engineering IAO
Mehta Dharmil Rajesh, Fraunhofer
Wenting Xing, Audi AG
Johannes Schniertshauer, AUDI AG
Jens Neuhüttler, Fraunhofer-Institute for Industrial Engineering IAO
Felix Zimmermann, Fraunhofer Institute for Industrial Engineering IAO

Online

12:00 AM - 12:00 AM

Visit Site

Introduction to the Minitrack on Cybersecurity and Software Assurance

Richard George, Johns Hopkins University Applied Physics Lab
Luanne Chamberlain, Johns Hopkins University Applied Physics Lab
Thomas Llanso, Johns Hopkins University Applied Physics Lab

Online

12:00 AM - 12:00 AM

Visit Site

Success Factors in Secure Software Development of Cloud Applications in Germany: A Qualitative-explorative Expert Study

Marc Schubert, University of Applied Sciences, Mainz
Sven Pagel, University of Applied Sciences, Mainz
Harald Von Korflesch, University of Koblenz-Landau

Online

12:00 AM - 12:00 AM

Visit Site

Understanding Software Obfuscation and Diversification as Defensive Measures for the Cybersecurity of Internet of Things

Sampsa Rauti, University of Turku
Samuli Laato, Tampere University

Online

12:00 AM - 12:00 AM

Visit Site