Securing the Cosmos: On the Future of Space Systems Security Research

Triangulation of Models for Threat Hunting: An Exploratory Study...

Adam Hoffman, Walmart

dewolf: Improving Decompilation by leveraging User Surveys

Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka, Elmar Padilla (Fraunhofer FKIE, Germany), Er Xue Hui, Henry Low, Nicholas Sim (DSO National Laboratories, Singapore)

Detection and Resolution of Control Decision Anomalies

Prof. Kang Shin (Kevin and Nancy O'Connor Professor of Computer Science, and the Founding Director of the Real-Time Computing Laboratory (RTCL) in the Electrical Engineering and Computer Science Department at the University of Michigan)

PISE: Protocol Inference using Symbolic Execution and Automata Learning

Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)

Securing the Cosmos: On the Future of Space Systems Security Research

View More Papers

Triangulation of Models for Threat Hunting: An Exploratory Study...

dewolf: Improving Decompilation by leveraging User Surveys

Detection and Resolution of Control Decision Anomalies

PISE: Protocol Inference using Symbolic Execution and Automata Learning