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

@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},
  pages     = {33--56}
}

@InProceedings{Maurer2002,
  author    = {Ueli M. Maurer},
  title     = {Indistinguishability of Random Systems},
  booktitle = {Advances in Cryptology ({EUROCRYPT} 2002), Proceedings},
  year      = {2002},
  pages     = {110--132}
}

@InProceedings{Canetti2001,
  author    = {Ran Canetti},
  title     = {Universally Composable Security: {A} New Paradigm for Cryptographic Protocols},
  booktitle = {Foundations of Computer Science ({FOCS} 2001), Proceedings},
  year      = {2001},
  pages     = {136--145}
}

@Article{Goldwasser1989,
  author    = {Shafi Goldwasser and Silvio Micali and Charles Rackoff},
  title     = {The Knowledge Complexity of Interactive Proof Systems},
  journal   = {{SIAM} Journal on Computing},
  year      = {1989},
  volume    = {18},
  number    = {1},
  pages     = {186--208}
}

@Article{Basin2017,
  author    = {David A. Basin and Andreas Lochbihler and S. Reza Sefidgar},
  title     = {{CryptHOL}: Game-based Proofs in Higher-order Logic},
  journal   = {{IACR} Cryptology ePrint Archive},
  year      = {2017},
  volume    = {2017},
  pages     = {753}
}

@article{Lochbihler2017AFP,
  author = {Andreas Lochbihler},
  title = {{CryptHOL}},
  journal = {Archive of Formal Proofs},
  year    = 2017,
  note    = {~\url{http://isa-afp.org/entries/CryptHOL.shtml},
            Formal proof development},
}
