Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework.

Florian Kammller, Bianca Lutz

Browse the full ESORICS paper archive.