%% See https://www.bibtex.com/e/entry-types/ for the different
%% kinds of BibTeX entries                  
%% See https://dblp.org for CS BibTeX entries.

@article{Knuth89,
  author    = {Donald E. Knuth},
  title     = {The Errors of {TEX}},
  journal   = {Softw. Pract. Exp.},
  volume    = {19},
  number    = {7},
  pages     = {607--685},
  year      = {1989}
}

@article{Feigenbaum19,
  author    = {Joan Feigenbaum},
  title     = {Encryption and surveillance},
  journal   = {Commun. {ACM}},
  volume    = {62},
  number    = {5},
  pages     = {27--29},
  year      = {2019}
}                  

@article{Spafford16,
  author    = {Eugene H. Spafford},
  title     = {The strength of encryption},
  journal   = {Commun. {ACM}},
  volume    = {59},
  number    = {3},
  pages     = {5},
  year      = {2016}
}

@article{Abelson15,
  author    = {Harold Abelson and
               Ross J. Anderson and
               Steven M. Bellovin and
               Josh Benaloh and
               Matt Blaze and
               Whitfield Diffie and
               John Gilmore and
               Matthew Green and
               Susan Landau and
               Peter G. Neumann and
               Ronald L. Rivest and
               Jeffrey I. Schiller and
               Bruce Schneier and
               Michael A. Specter and
               Daniel J. Weitzner},
  title     = {Keys under doormats: mandating insecurity by requiring government
               access to all data and communications},
  journal   = {J. Cybersecur.},
  volume    = {1},
  number    = {1},
  pages     = {69--79},
  year      = {2015}
}                  

@InCollection{Varia18,
  author    = {Mayank Varia},
  title     = {A Roadmap for Exceptional Access Research},
  booktitle = {Perspectives on Encryption and Surveillance},
  publisher = {Lawfare Blog},
  year      = 2018,
  editor    = {Daniel J. Weitzner},
  note      = {\url{https://www.lawfareblog.com/perspectives-encryption-and-surveillance}}
}

@inproceedings{MullerK22,
  author    = {Dennis M{\"{u}}ller and
               Michael Kohlhase},
  editor    = {Kevin Buzzard and
               Temur Kutsia},
  title     = {Injecting Formal Mathematics Into {LaTeX}},
  booktitle = {Intelligent Computer Mathematics---15th International Conference,
               {CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13467},
  pages     = {168--183},
  publisher = {Springer},
  year      = {2022},
}

@book{Knuth86,
  author    = {Donald E. Knuth},
  title     = {The TeXbook},
  publisher = {Addison-Wesley},
  year      = {1986},
  isbn      = {0-201-13447-0}
}

@book{Lamport94,
  author    = {Leslie Lamport},
  title     = {LaTeX---{A} Document Preparation System:
               User's Guide and Reference
               Manual, Second Edition},
  publisher = {Pearson / Prentice Hall},
  year      = {1994},
  isbn      = {978-0-201-52983-8}
}

@Misc{EWG19,
  author       = {{Encryption Working Group, Carnegie Endowment for World Peace}},
  title        = {{Moving the Encryption Policy Conversation Forward}},
  note = {\url{https://carnegieendowment.org/2019/09/10/moving-encryption-policy-conversation-forward-pub-79573}},
  year         = 2019
}