Papers

People

Piotr Mardziel (postdoc)
Shayak Sen
(PhD student)
Gihyuk Ko
(PhD student)
Sophia Kovaleva
(PhD student)
Klas Leino
(PhD student)
Samuel Yeom
(PhD student)
Caleb Kaiji Lu
(PhD student)
Amit Datta
(PhD alumnus)
Raj Gupta
(MS alumnus)

Resources

Conferences / Workshops
  • FAT* 2018, 2019
  • FATML
  • CSF
  • POST
  • NDSS
  • S&P
  • CCS