On the Automorphism Group of Various Goppa Codes. - Stephan Wesemeyer (IEEE Trans. Inf. Theory, 1998)

Some Soft-Decision Decoding Algorithms for Reed-Solomon Codes. - Stephan Wesemeyer; Peter Sweeney; David R. B. Burgess (IMACC, 1999)

An Improved Decoding Algorithm for the Davey-MacKay Construction. - Johann A. Briffa; Hans Georg Schaathun; Stephan Wesemeyer (ICC, 2010)

Forgery localization based on image chroma feature extraction. - Areej S. Alfraih; Johann A. Briffa; Stephan Wesemeyer (ICDP, 2013)

Cloning Localization Based on Feature Extraction and K-means Clustering. - Areej S. Alfraih; Johann A. Briffa; Stephan Wesemeyer (IWDW, 2014)

Cloning localization approach using k-means clustering and support vector machine. - Areej S. Alfraih; Johann A. Briffa; Stephan Wesemeyer (J. Electronic Imaging, 2015)

Formal Analysis of V2X Revocation Protocols. - Jorden Whitefield; Liqun Chen 002; Frank Kargl; Andrew Paverd; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (STM, 2017)

Anonymous Single-Sign-On for n Designated Services with Traceability. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (ESORICS (1), 2018)

SimCommSys: Taking the errors out of error-correcting code simulations. - Johann A. Briffa; Stephan Wesemeyer (CoRR, 2018)

Time-Varying Block Codes for Synchronization Errors: MAP Decoder and Practical Issues. - Johann A. Briffa; Victor Buttigieg; Stephan Wesemeyer (CoRR, 2018)

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. - Jorden Whitefield; Liqun Chen 002; Ralf Sasse; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (EuroS&P, 2019)

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. - Stephan Wesemeyer; Christopher J. P. Newton; Helen Treharne; Liqun Chen 002; Ralf Sasse; Jorden Whitefield (AsiaCCS, 2020)

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. - Stephan Wesemeyer; Ioana Boureanu; Zach Smith; Helen Treharne (EuroS&P, 2020)

Anonymous Single Sign-On With Proxy Re-Verification. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer; Nick Wilson (IEEE Trans. Inf. Forensics Secur., 2020)

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. - Jinguang Han; Liqun Chen 002; Steve Schneider; Helen Treharne; Stephan Wesemeyer (IEEE Trans. Dependable Secur. Comput., 2021)

The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Christopher J. P. Newton (AsiaCCS, 2022)

Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. - Chris Culnane; Ioana Boureanu; Jean Snyman; Stephan Wesemeyer; Helen Treharne (AsiaCCS, 2023)

Systematic Improvement of Access-Stratum Security in Mobile Networks. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Zhili Sun; Hemant Zope (EuroS&P, 2023)

Fine-Grained Trackability in Protocol Executions. - Ksenia Budykho; Ioana Boureanu; Stephan Wesemeyer; Daniel Romero; Matt Lewis; Yogaratnam Rahulan; Fortunat Rajaona; Steve Schneider (NDSS, 2023)

Verifying List Swarm Attestation Protocols. - Jay Le-Papin; Brijesh Dongol; Helen Treharne; Stephan Wesemeyer (WISEC, 2023)

Epistemic Model Checking for Privacy. - Fortunat Rajaona; Ioana Boureanu; R. Ramanujam 001; Stephan Wesemeyer (CSF, 2024)