Sophie Stevens

According to our database, Sophie Stevens authored at least 3 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Formal verification of the post-quantum security properties of IKEv2 PPK (RFC 8784) using the Tamarin Prover.

Sophie Stevens

IACR Cryptol. ePrint Arch., 2023

2022

On Sum Sets and Convex Functions.

Sophie Stevens, Audie Warren

Electron. J. Comb., 2022

2015

Key-Homomorphic Constrained Pseudorandom Functions.

Abhishek Banerjee, Georg Fuchsbauer, Chris Peikert, Krzysztof Pietrzak, Sophie Stevens

IACR Cryptol. ePrint Arch., 2015