Hallucinating Certificates: Differential Testing of TLS Certificate Validation Using Generative Language Models
Talha Paracha, Kyle Posluns, Kevin Borgolte, Martina Lindorfer, David Choffnes
Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE), April 2026
@inproceedings{icse2026-hallucinating-certificates,
title = {{Hallucinating Certificates: Differential Testing of TLS Certificate Validation Using Generative Language Models}},
author = {Paracha, Talha and Posluns, Kyle and Borgolte, Kevin and Lindorfer, Martina and Choffnes, David},
booktitle = {Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE)},
code = {https://github.com/rub-softsec/mlcerts},
data = {https://zenodo.org/records/15971208},
date = {2026-04},
doi = {10.1145/3744916.3773203},
editor = {Mezini, Mira and Zimmermann, Thomas},
location = {Rio de Janeiro, Brazil},
publisher = {Association for Computing Machinery (ACM)/Institute of Electrical and Electronics Engineers (IEEE)},
volume = {48}
}