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

Tag of the Dead: How Terminated SaaS Tags Become...

Takahito Sakamoto, Takuya Murozono (DataSign Inc)

PISE: Protocol Inference using Symbolic Execution and Automata Learning

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

Formally Verified Software Update Management System in Automotive

Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)

SoundLock: A Novel User Authentication Scheme for VR Devices...

Huadi Zhu (The University of Texas at Arlington), Mingyan Xiao (The University of Texas at Arlington), Demoria Sherman (The University of Texas at Arlington), Ming Li (The University of Texas at Arlington)

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

View More Papers

Tag of the Dead: How Terminated SaaS Tags Become...

PISE: Protocol Inference using Symbolic Execution and Automata Learning

Formally Verified Software Update Management System in Automotive

SoundLock: A Novel User Authentication Scheme for VR Devices...