Johannes Wilson

PhD student

Publications

2025

Johannes Wilson, Mikael Asplund (2025)

Analysing TLS Implementations Using Full-Message Symbolic Execution Secure IT Systems: 29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings, p. 283-302 (Conference paper)

https://dx.doi.org/10.1007/978-3-031-79007-2_15

Johannes Wilson (2025)

Towards Practical Formal Verification of Cryptographic Protocol Specifications and Implementations (Licentiate thesis, comprehensive summary)

https://dx.doi.org/10.3384/9789180759632

2024

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira (2024)

Provably Secure Communication Protocols for Remote Attestation Proceedings of the 19th International Conference on Availability, Reliability and Security (Conference paper)

https://dx.doi.org/10.1145/3664476.3664485

2023

Johannes Wilson, Mikael Asplund, Niklas Johansson (2023)

Extending the Authentication Hierarchy with One-Way Agreement 2023 IEEE 36th Computer Security Foundations Symposium (CSF), p. 214-228 (Conference paper)

https://dx.doi.org/10.1109/CSF57540.2023.00025

Ulf Kargén, Ivar Harnqvist, Johannes Wilson, Gustav Eriksson, Evelina Holmgren, Nahid Shahmehri (2023)

desync-cc: A research tool for automatically applying disassembly desynchronization during compilation Science of Computer Programming, Vol. 228, Article 102954 (Article in journal)

https://dx.doi.org/10.1016/j.scico.2023.102954

Research

Cybersecurity

Welcome to the cybersecurity platform at Linköping University. Here you can find information about research and education in cybersecurity, as well as researchers and teachers active in the field.

About the division

Cybersecurity (CYBER)

The division Cybersecurity is part of the Department of Computer and Information Science. The division conducts research and education in cybersecurity and consists of four research groups.