James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
VASP: V2X Application Spoofing Platform
Mohammad Raashid Ansari, Jonathan Petit, Jean-Philippe Monteuuis, Cong Chen (Qualcomm Technologies, Inc.)
Read MorePorting 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)
Read More