Publications & Reports

John Galea and Daniel Kroening.

ASIA CCS ’20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, October 2020, 622–636. 2020

Tom Ridge.

ICFP 2017. 2017

Mikolas Janota, Radu Grigore, and Vasco Manquinho.

arXiv: Logic in Computer Science. 2017

Blake Loring, Duncan Mitchell, and Johannes Kinder.

SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, July 2017, 196–199. 2017