Key-Homomorphic Constrained Pseudorandom Functions. - Abhishek Banerjee 001; Georg Fuchsbauer; Chris Peikert; Krzysztof Pietrzak; Sophie Stevens (IACR Cryptol. ePrint Arch., 2015)

On Sum Sets and Convex Functions. - Sophie Stevens; Audie Warren (Electron. J. Comb., 2022)

Formal verification of the post-quantum security properties of IKEv2 PPK (RFC 8784) using the Tamarin Prover. - Sophie Stevens (IACR Cryptol. ePrint Arch., 2023)