--- a/ChengsongTanPhdThesis/example.bib Fri Sep 23 00:44:22 2022 +0100
+++ b/ChengsongTanPhdThesis/example.bib Sat Sep 24 00:49:10 2022 +0100
@@ -5,6 +5,13 @@
%% Saved with string encoding Unicode (UTF-8)
+
+@unpublished{CSL22
+author = "Chengsong Tan and Christian Urban",
+title = "POSIX Lexing with Bitcoded Derivatives",
+note = "submitted",
+}
+
@INPROCEEDINGS{Verbatim, author={Egolf, Derek and Lasser, Sam and Fisher, Kathleen}, booktitle={2021 IEEE Security and Privacy Workshops (SPW)}, title={Verbatim: A Verified Lexer Generator}, year={2021}, volume={}, number={}, pages={92-100}, doi={10.1109/SPW53761.2021.00022}}