Publications & Reports

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, and Alexandra Silva.

In: Goubault-Larrecq, J., König, B. (eds) Foundations of Software Science and Computation Structures. 2020

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty.

In: Müller, P. (eds) Programming Languages and Systems. ESOP 2020. Lecture Notes in Computer Science, vol 12075. 2020

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