Papers

<<<<<<< HEAD
Piotr Mardziel (postdoc)
Amit Datta
(PhD student)
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)
Raj Gupta
(MS student)

Resources

Conferences / Workshops

  • FAT*
  • FATML
  • CSF
  • POST
  • NDSS
  • S&P
  • CCS