@inproceedings{post_compromise_security,
  title        = {On post-compromise security},
  author       = {Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke},
  booktitle    = {2016 IEEE 29th Computer Security Foundations Symposium (CSF)},
  pages        = {164--178},
  year         = {2016},
  organization = {IEEE},
  url          = {https://eprint.iacr.org/2016/221.pdf}
}

@inproceedings{wireguard_analysis,
  title        = {A cryptographic analysis of the WireGuard protocol},
  author       = {Dowling, Benjamin and Paterson, Kenneth G},
  booktitle    = {Applied Cryptography and Network Security: 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings 16},
  pages        = {3--21},
  year         = {2018},
  organization = {Springer},
  url          = {https://eprint.iacr.org/2018/080.pdf}
}

@inproceedings{ake_security,
  title        = {Authentication in key-exchange: Definitions, relations and composition},
  author       = {de Saint Guilhem, Cyprien Delpech and Fischlin, Marc and Warinschi, Bogdan},
  booktitle    = {2020 IEEE 33rd Computer Security Foundations Symposium (CSF)},
  pages        = {288--303},
  year         = {2020},
  organization = {IEEE},
  url          = {https://eprint.iacr.org/2019/1203.pdf}
}

@inproceedings{hkdf,
  title        = {Cryptographic extraction and key derivation: The HKDF scheme},
  author       = {Krawczyk, Hugo},
  booktitle    = {Annual Cryptology Conference},
  pages        = {631--648},
  year         = {2010},
  organization = {Springer},
  url          = {https://eprint.iacr.org/2010/264.pdf}
}

@online{noise_protocol,
  title    = {The noise protocol framework},
  author   = {Trevor Perrin},
  year     = {2018},
  addendum = {(accessed: 07.03.2023)},
  url      = {https://noiseprotocol.org/noise.html}
}

@book{fips_kbkdf,
  title     = {Recommendation for key derivation using pseudorandom functions},
  publisher = {National Institute of Standards and Technology},
  author    = {Chen, Lily and others},
  journal   = {NIST Special Publication},
  number    = {800-108 Rev. 1},
  year      = {2008},
  url       = {https://csrc.nist.gov/publications/detail/sp/800-108/rev-1/final}
}

@online{noise_ask,
  title     = {Additional Symmetric Keys},
  author    = {Mathias Hall-Andersen},
  year      = {2018},
  addendum  = {(accessed: 07.03.2023)},
  url       = {https://github.com/noiseprotocol/noise_wiki/wiki/Additional-Symmetric-Keys}
}

@online{noise_hfs,
  title    = {KEM-based Hybrid Forward Secrecy for Noise},
  author   = {Trevor Perrin},
  year     = {2018},
  addendum = {(accessed: 07.03.2023)},
  url      = {https://github.com/noiseprotocol/noise_wiki/wiki/Hybrid-Forward-Secrecy}
}

@online{noise_psk_resumption,
  title    = {PSK Resumption},
  author   = {Trevor Perrin},
  year     = {2018},
  addendum = {(accessed: 07.03.2023)},
  url      = {https://github.com/noiseprotocol/noise_wiki/wiki/PSK-Resumption}
}

@online{signal,
  title    = {The Double Ratchet Algorithm},
  author   = {Moxie Marlinspike and Trevor Perrin},
  year     = {2016},
  addendum = {(accessed: 07.03.2023)},
  url      = {https://signal.org/docs/specifications/doubleratchet/}
}

@inproceedings{wireguard,
  title     = {Wireguard: next generation kernel network tunnel.},
  author    = {Donenfeld, Jason A},
  booktitle = {NDSS},
  pages     = {1--12},
  year      = {2017},
  url       = {https://www.wireguard.com/papers/wireguard.pdf}
}

@article{fips_sha2,
  title   = {Secure hash standard (shs)},
  publisher={National Institute of Standards and Technology},
  journal = {FIPS Publication},
  volume  = {180},
  number  = {4},
  year    = {2015},
  url     = {https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.180-4.pdf}
}

@article{fips_aesgcm,
  title     = {Recommendation for Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC},
  publisher = {National Institute of Standards and Technology},
  author    = {Morris Dworkin},
  journal   = {NIST Special Publication},
  number    = {800-38D},
  year      = {2007},
  url       = {https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-38d.pdf}
}

@article{fips_aes,
  title   = {Advanced Encryption Standard (AES)},
  publisher={National Institute of Standards and Technology},
  journal = {FIPS Publication},
  volume  = {197},
  year    = {2023},
  url     = {https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.197-upd1.pdf}
}

@article{fips_p384,
  title   = {Recommendation for Pair-Wise Key-Establishment Schemes Using Discrete Logarithm Cryptography},
  author={Barker, Elaine and Chen, Lily and Keller, Sharon and Roginsky, Allen and Vassilev, Apostol and Davis, Richard},
  publisher={National Institute of Standards and Technology},
  journal = {NIST Special Publication},
  number  = {800-56A},
  year    = {2018},
  url     = {https://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.SP.800-56Ar3.pdf}
}

@inproceedings{kyber,
  title        = {CRYSTALS-Kyber: a CCA-secure module-lattice-based KEM},
  author       = {Bos, Joppe and Ducas, L{\'e}o and Kiltz, Eike and Lepoint, Tancr{\`e}de and Lyubashevsky, Vadim and Schanck, John M and Schwabe, Peter and Seiler, Gregor and Stehl{\'e}, Damien},
  booktitle    = {2018 IEEE European Symposium on Security and Privacy (EuroS\&P)},
  pages        = {353--367},
  year         = {2018},
  organization = {IEEE}
}

@book{modern_crypto,
  title     = {Introduction to modern cryptography},
  author    = {Katz, Jonathan and Lindell, Yehuda},
  year      = {2020},
  publisher = {CRC press}
}

@online{fips_blog,
  title    = {OpenSSL and NSS are FIPS 140 certified. Is the Internet safe now?},
  author   = {Matthew Green},
  year     = {2012},
  addendum = {(accessed: 07.06.2023)},
  url      = {https://blog.cryptographyengineering.com/category/fips/}
}

@inproceedings{219400,
  author    = {Julie M. Haney and Mary Theofanos and Yasemin Acar and Sandra Spickard Prettyman},
  title     = {"We make it a big deal in the company": Security Mindsets in Organizations that Develop Cryptographic Products},
  booktitle = {Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018)},
  year      = {2018},
  isbn      = {978-1-939133-10-6},
  address   = {Baltimore, MD},
  pages     = {357--373},
  url       = {https://www.usenix.org/conference/soups2018/presentation/haney-mindsets},
  publisher = {USENIX Association},
  month     = aug
}