Generating Music from Literature. - Hannah Davis; Saif M. Mohammad (CLfL@EACL, 2014)

Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. - Mihir Bellare; Hannah Davis; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2020)

Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols. - Hannah Davis; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2020)

Acsesor: A New Framework for Auditable Custodial Secret Storage and Recovery. - Melissa Chase; Hannah Davis; Esha Ghosh; Kim Laine (IACR Cryptol. ePrint Arch., 2022)

On the Concrete Security of TLS 1.3 PSK Mode. - Hannah Davis; Denis Diemert; Felix Günther 001; Tibor Jager (IACR Cryptol. ePrint Arch., 2022)

Hardening Signature Schemes via Derive-then-Derandomize: Stronger Security Proofs for EdDSA. - Mihir Bellare; Hannah Davis; Zijing Di (IACR Cryptol. ePrint Arch., 2023)

On the Possibility of a Backdoor in the Micali-Schnorr Generator. - Hannah Davis; Matthew Green 001; Nadia Heninger; Keegan Ryan; Adam Suhl (IACR Cryptol. ePrint Arch., 2023)

Securing the Standards: Bringing Cryptographic Security Proofs Closer to the Real World - Hannah Davis (2023)

Verifiable Distributed Aggregation Functions. - Hannah Davis; Christopher Patton; Mike Rosulek; Phillipp Schoppmann (Proc. Priv. Enhancing Technol., 2023)

A Formal Treatment of End-to-End Encrypted Cloud Storage. - Matilda Backendal; Hannah Davis; Felix Günther 001; Miro Haller; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2024)

Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics. - Dimitris Mouris; Christopher Patton; Hannah Davis; Pratik Sarkar; Nektarios Georgios Tsoutsos (Proc. Priv. Enhancing Technol., 2025)