--- a/thys2/Paper/document/root.bib	Wed Feb 09 18:21:01 2022 +0000
+++ b/thys2/Paper/document/root.bib	Wed Feb 09 18:21:15 2022 +0000
@@ -351,3 +351,11 @@
 }
 
 
+@INPROCEEDINGS{verbatim,
+  author={D.~Egolf and S.~Lasser and K.~Fisher},
+  booktitle={2021 IEEE Security and Privacy Workshops (SPW)}, 
+  title={{V}erbatim: {A} {V}erified {L}exer {G}enerator}, 
+  year={2021},
+  volume={},
+  number={},
+  pages={92--100}}