Johannes Wilson
Doktorand
Publikationer
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
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation
Science of Computer Programming, Vol. 228, Artikel 102954
(Artikel i tidskrift)
https://dx.doi.org/10.1016/j.scico.2023.102954
