Stephan Wesemeyer

According to our database, Stephan Wesemeyer authored at least 21 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Epistemic Model Checking for Privacy.

Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Verifying List Swarm Attestation Protocols.

Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

Fine-Grained Trackability in Protocol Executions.

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Systematic Improvement of Access-Stratum Security in Mobile Networks.

Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Zhili Sun, Hemant Zope

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices.

Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.

Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials.

Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer

IEEE Trans. Dependable Secur. Comput., 2021

2020

Anonymous Single Sign-On With Proxy Re-Verification.

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson

IEEE Trans. Inf. Forensics Secur., 2020

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches.

Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Formal 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

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.

Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2018

Time-Varying Block Codes for Synchronization Errors: MAP Decoder and Practical Issues.

Johann A. Briffa, Victor Buttigieg, Stephan Wesemeyer

CoRR, 2018

SimCommSys: Taking the errors out of error-correcting code simulations.

Johann A. Briffa, Stephan Wesemeyer

CoRR, 2018

Anonymous Single-Sign-On for n Designated Services with Traceability.

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the Computer Security, 2018

2017

Formal Analysis of V2X Revocation Protocols.

Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

2015

Cloning localization approach using k-means clustering and support vector machine.

Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer

J. Electronic Imaging, 2015

2014

Cloning Localization Based on Feature Extraction and K-means Clustering.

Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer

Proceedings of the Digital-Forensics and Watermarking - 13th International Workshop, 2014

2013

Forgery localization based on image chroma feature extraction.

Areej S. Alfraih, Johann A. Briffa, Stephan Wesemeyer

Proceedings of the 5th International Conference on Imaging for Crime Detection and Prevention, 2013

2010

An Improved Decoding Algorithm for the Davey-MacKay Construction.

Johann A. Briffa, Hans Georg Schaathun, Stephan Wesemeyer

Proceedings of IEEE International Conference on Communications, 2010

1999

Some Soft-Decision Decoding Algorithms for Reed-Solomon Codes.

Stephan Wesemeyer, Peter Sweeney, David R. B. Burgess

Proceedings of the Cryptography and Coding, 1999

1998

On the Automorphism Group of Various Goppa Codes.

Stephan Wesemeyer

IEEE Trans. Inf. Theory, 1998