Stephan Wesemeyer

27 papers A* 1A 9C 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure.
EuroS&P
Ioana Boureanu, Stephan Wesemeyer, Fortunat Rajaona, Steve Schneider, Helen Treharne
2025 J jnl
Formal Verification of Privacy Pass.
IACR Cryptol. ePrint Arch.
Kristiana Ivanova, Daniel Gardham, Stephan Wesemeyer
2025 A conf
Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.
AsiaCCS
Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
2024 A conf
Epistemic Model Checking for Privacy.
CSF
Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer
2023 A* conf
Fine-Grained Trackability in Protocol Executions.
NDSS
Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
2023 A conf
Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices.
AsiaCCS
Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne
2023 A conf
Systematic Improvement of Access-Stratum Security in Mobile Networks.
EuroS&P
Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Zhili Sun, Hemant Zope
2023 — conf
Verifying List Swarm Attestation Protocols.
WISEC
Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer
2022 A conf
The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.
AsiaCCS
Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton
2021 J jnl
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials.
IEEE Trans. Dependable Secur. Comput.
Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer
2020 J jnl
Anonymous Single Sign-On With Proxy Re-Verification.
IEEE Trans. Inf. Forensics Secur.
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
2020 A conf
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches.
EuroS&P
Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne
2020 A conf
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme.
AsiaCCS
Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
2019 A conf
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.
EuroS&P
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2018 J jnl
Anonymous Single Sign-on with Proxy Re-Verification.
CoRR
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
2018 — conf
Anonymous Single-Sign-On for n Designated Services with Traceability.
ESORICS (1)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2018 J jnl
Anonymous Single-Sign-On for n designated services with traceability.
CoRR
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2018 J jnl
SimCommSys: Taking the errors out of error-correcting code simulations.
CoRR
Johann A. Briffa, Stephan Wesemeyer
2018 J jnl
Time-Varying Block Codes for Synchronization Errors: MAP Decoder and Practical Issues.
CoRR
Johann A. Briffa, Victor Buttigieg, Stephan Wesemeyer
2017 — conf
Formal Analysis of V2X Revocation Protocols.
STM
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2017 J jnl
Formal Analysis of V2X Revocation Protocols.
CoRR
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2015 J jnl
Cloning localization approach using k-means clustering and support vector machine.
J. Electronic Imaging
Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer
2014 C conf
Cloning Localization Based on Feature Extraction and K-means Clustering.
IWDW
Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer
2013 — conf
Forgery localization based on image chroma feature extraction.
ICDP
Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer
2010 — conf
An Improved Decoding Algorithm for the Davey-MacKay Construction.
ICC
Johann A. Briffa, Hans Georg Schaathun, Stephan Wesemeyer
1999 C conf
Some Soft-Decision Decoding Algorithms for Reed-Solomon Codes.
IMACC
Stephan Wesemeyer, Peter Sweeney, David R. B. Burgess
1998 J jnl
On the Automorphism Group of Various Goppa Codes.
IEEE Trans. Inf. Theory
Stephan Wesemeyer