You've already forked Http_Cyclone
mirror of
https://github.com/AdaCore/Http_Cyclone.git
synced 2026-02-12 13:07:39 -08:00
32 lines
998 B
BibTeX
32 lines
998 B
BibTeX
@inproceedings{bhargavan2013implementing,
|
||
title={Implementing TLS with verified cryptographic security},
|
||
author={Bhargavan, Karthikeyan and Fournet, C{\'e}dric and Kohlweiss, Markulf and Pironti, Alfredo and Strub, Pierre-Yves},
|
||
booktitle={2013 IEEE Symposium on Security and Privacy},
|
||
pages={445--459},
|
||
year={2013},
|
||
organization={IEEE}
|
||
}
|
||
@misc{rfc793,
|
||
series = {Request for Comments},
|
||
number = 793,
|
||
howpublished = {RFC 793},
|
||
publisher = {RFC Editor},
|
||
author = {},
|
||
title = {{Transmission Control Protocol}},
|
||
pagetotal = 91,
|
||
year = 1981,
|
||
month = sep,
|
||
abstract = {},
|
||
}
|
||
|
||
@article{Reiher_2020,
|
||
title={RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers},
|
||
ISBN={9783030409142},
|
||
ISSN={1611-3349},
|
||
journal={Lecture Notes in Computer Science},
|
||
publisher={Springer International Publishing},
|
||
author={Reiher, Tobias and Senier, Alexander and Castrillon, Jeronimo and Strufe, Thorsten},
|
||
year={2020},
|
||
pages={170–190}
|
||
}
|