Stephan Wesemeyer

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 17

Top Topics

Formal Analysis

Support Vector Machine

Object Localization

Top Venues

Publications

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