Johannes Wilson

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) Continue to DOI

Johannes Wilson (2025) Towards Practical Formal Verification of Cryptographic Protocol Specifications and Implementations

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) Continue to DOI

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) Continue to DOI

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) Continue to DOI