Privacy as Reachability - Gondron, Sebastien; Modersheim, Sebastian; Vigano, Luca (2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022)
Keywords: DP-3T; Formal Methods; Grounding; Linkability; Manuals; Privacy; Probabilistic logic; Protocol security; Protocols; Roads; Transition system; Turing machines