Johannes Wilson
Doktorand
Publikationer
2026
Ethical Dilemmas and Cybersecurity
Dual Use and Good Research Practice, s. 17-23
(Kapitel i bok, del av antologi)
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)
https://dx.doi.org/10.1007/978-3-031-79007-2_15
Towards Practical Formal Verification of Cryptographic Protocol Specifications and Implementations
(Licentiatavhandling, sammanläggning)
https://dx.doi.org/10.3384/9789180759632
2024
Provably Secure Communication Protocols for Remote Attestation
Proceedings of the 19th International Conference on Availability, Reliability and Security
(Konferensbidrag)
https://dx.doi.org/10.1145/3664476.3664485
2023
Extending the Authentication Hierarchy with One-Way Agreement
2023 IEEE 36th Computer Security Foundations Symposium (CSF), s. 214-228
(Konferensbidrag)
https://dx.doi.org/10.1109/CSF57540.2023.00025
