@InProceedings{Maurer2011,
  author    = {Ueli Maurer and Renato Renner},
  title     = {Abstract Cryptography},
  booktitle = {Innovations in Computer Science ({ICS} 2010), Proceedings},
  year      = {2011},
  pages     = {1--21},
  publisher = {Tsinghua University Press},
}

@InProceedings{Maurer2011a,
  author    = {Ueli Maurer},
  title     = {Constructive Cryptography - {A} New Paradigm for Security Definitions and Proofs},
  booktitle = {Theory of Security and Applications - Joint Workshop ({TOSCA} 2011), Revised Selected Papers},
  year      = {2011},
  volume    = {6993},
  series    = {LNCS},
  pages     = {33--56},
  publisher = {Springer}
}

@InProceedings{Maurer2016,
  author    = {Ueli Maurer and
               Renato Renner},
  title     = {From Indifferentiability to Constructive Cryptography (and Back)},
  booktitle = {Theory of Cryptography Conference ({TCC} 2016), Proceedings, Part {I}},
  year      = {2016},
  volume    = {9985},
  series    = {LNCS},
  pages     = {3--24},
  publisher = {Springer}
}

@InProceedings{Lochbihler2016,
  author    = {Andreas Lochbihler},
  title     = {Probabilistic Functions and Cryptographic Oracles in Higher Order Logic},
  booktitle = {European Symposium on Programming ({ESOP} 2016), Proceedings},
  year      = {2016},
  volume    = {9632},
  series    = {LNCS},
  pages     = {503--531},
  publisher = {Springer},
}

@Article{Lochbihler2017,
  author = {Andreas Lochbihler},
  title = {{CryptHOL}},
  journal = {Archive of Formal Proofs},
  year    = 2017,
  note    = {~\url{https://isa-afp.org/entries/CryptHOL.html},
            Formal proof development},
}

@Article{Lochbihler2018,
  author = {Andreas Lochbihler and S. Reza Sefidgar},
  title = {Constructive Cryptography in {HOL}},
  journal = {Archive of Formal Proofs},
  year    = 2018,
  note    = {~\url{https://isa-afp.org/entries/Constructive_Cryptography.html},
            Formal proof development},
}

@InProceedings{Lochbihler2019,
  author    = {Andreas Lochbihler and S. Reza Sefidgar and  David Basin and Ueli Maurer},
  title     = {Formalizing Constructive Cryptography using CryptHOL},
  booktitle = {Computer Security Foundations Symposium ({CSF} 2019), Proceedings},
  year      = {2019},
  pages     = {152--166},
  publisher = {{IEEE}},
}

@Article{Basin2020,
  author  = {David A. Basin and Andreas Lochbihler and S. Reza Sefidgar},
  title   = {{CryptHOL}: Game-based Proofs in Higher-order Logic},
  journal = {Journal of Cryptology},
  year    = {2020},
  volume  = {33},
  number  = {2},
  pages   = {494--566},
}


@Article{Basin2021,
  author  = {David A. Basin and Andreas Lochbihler and Ueli Maurer and S. Reza Sefidgar},
  title   = {Abstract Modeling of Systems Communication in Constructive Cryptography using {CryptHOL}},
  year    = {2021},
  note    = {~\url{http://www.andreas-lochbihler.de/pub/basin2021.pdf}, Draft paper}
}