Sophie Stevens

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 2

Top Topics

Top Venues

IACR Cryptol. ePrint Arch.

Electron. J. Comb.

Publications

Sophie Stevens
Formal verification of the post-quantum security properties of IKEv2 PPK (RFC 8784) using the Tamarin Prover. IACR Cryptol. ePrint Arch. 2023 (2023)
Sophie Stevens, Audie Warren
On Sum Sets and Convex Functions. Electron. J. Comb. 29 (2) (2022)
Abhishek Banerjee, Georg Fuchsbauer, Chris Peikert, Krzysztof Pietrzak, Sophie Stevens
Key-Homomorphic Constrained Pseudorandom Functions. TCC (2) (2015)
Abhishek Banerjee, Georg Fuchsbauer, Chris Peikert, Krzysztof Pietrzak, Sophie Stevens
Key-Homomorphic Constrained Pseudorandom Functions. IACR Cryptol. ePrint Arch. 2015 (2015)