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

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)

PISE: Protocol Inference using Symbolic Execution and Automata Learning

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

How Much Can We Trust Large Language Models?

Fatemeh Mireshghallah

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

View More Papers

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

PISE: Protocol Inference using Symbolic Execution and Automata Learning

How Much Can We Trust Large Language Models?