Johannes Wilson

Publikationer

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, s. 283-302 (Konferensbidrag) Vidare till 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 (Konferensbidrag) Vidare till 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), s. 214-228 (Konferensbidrag) Vidare till 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, Artikel 102954 (Artikel i tidskrift) Vidare till DOI