Nadim Kobeissi. Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque. IEEE Security & Privacy, 17(4):94-96, 2019. [doi]
@article{Kobeissi19,
title = {Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque},
author = {Nadim Kobeissi},
year = {2019},
doi = {10.1109/MSEC.2019.2913027},
url = {https://doi.org/10.1109/MSEC.2019.2913027},
researchr = {https://researchr.org/publication/Kobeissi19},
cites = {0},
citedby = {0},
journal = {IEEE Security & Privacy},
volume = {17},
number = {4},
pages = {94-96},
}