Skip to content

Stephan Wesemeyer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

5

Active years

2014–2025

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2025AsiaCCSPost-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Lo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
2023AsiaCCSFormalising Application-Driven Authentication & Access-Control based on Users' Companion Devices.Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne
2023NDSSFine-Grained Trackability in Protocol Executions.Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
2022AsiaCCSThe 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton
2020CCSFormal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme.Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
2018ESORICSAnonymous Single-Sign-On for n Designated Services with Traceability.Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2014IWDWCloning Localization Based on Feature Extraction and K-means Clustering.Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer