Update on Overleaf.

Bibliography.bib

@@ -781,3 +781,27 @@ C compilers is available on the web.},
 	note = {original-date: 2019-03-01T03:27:48Z},
 	keywords = {disassembler, reverse-engineering, software-analysis},
 }
+
+@inproceedings{blanchet_efficient_2001,
+	address = {Cape Breton, Nova Scotia, Canada},
+	title = {An {Efficient} {Cryptographic} {Protocol} {Verifier} {Based} on {Prolog} {Rules}},
+	booktitle = {14th {IEEE} {Computer} {Security} {Foundations} {Workshop} ({CSFW}-14)},
+	publisher = {IEEE Computer Society},
+	author = {Blanchet, Bruno},
+	month = jun,
+	year = {2001},
+	pages = {82--96},
+	annote = {This paper received a {\textbackslash}bfseries test of time award at the CSF'23 conference},
+}
+
+@misc{walkin_asn1c_2025,
+	title = {asn1c},
+	copyright = {BSD-2-Clause},
+	url = {https://github.com/vlm/asn1c},
+	abstract = {The ASN.1 Compiler},
+	urldate = {2025-07-06},
+	author = {Walkin, Lev},
+	month = jul,
+	year = {2025},
+	note = {original-date: 2010-10-15T10:38:58Z},
+}