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

A Data-driven Approach to Rating Cybersecurity Risk and Investing...

Anup K Ghosh

VASP: V2X Application Spoofing Platform

Mohammad Raashid Ansari, Jonathan Petit, Jean-Philippe Monteuuis, Cong Chen (Qualcomm Technologies, Inc.)

Porting NASA's core Flight System to the Formally Verified...

Juliana Furgala (MIT Lincoln Laboratory), Samuel Jero (MIT Lincoln Laboratory), Andrea Lin (MIT Lincoln Laboratory), Rick Skowyra (MIT Lincoln Laboratory)

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

View More Papers

A Data-driven Approach to Rating Cybersecurity Risk and Investing...

VASP: V2X Application Spoofing Platform

Porting NASA's core Flight System to the Formally Verified...