Deutsch

Whitefield, Jorden ; Chen, Liqun ; Kargl, Frank ; Paverd, Andrew ; Schneider, Steve ; Treharne, Helen ; Wesemeyer, Stephan (2017)
Formal Analysis of V2X Revocation Protocols.
doi: 10.1007/978-3-319-68063-7_10
Konferenzveröffentlichung, Bibliographie

Englisch

Kröll, Tobias ; Kleber, Stephan ; Kargl, Frank ; Hollick, Matthias ; Classen, Jiska
Hrsg.: Bertino, Elisa ; Shulman, Haya ; Waidner, Michael (2021)
ARIstoteles - Dissecting Apple's Baseband Interface.
26th European Symposium on Research in Computer Security (ESORICS 2021). Darmstadt, Germany (04.10.2021-08.10.2021)
doi: 10.1007/978-3-030-88418-5_7
Konferenzveröffentlichung, Bibliographie