Devon Tuma

According to our database, Devon Tuma authored at least 1 paper in 2024.

Collaborative distances:

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

2024

VCVio: A Formally Verified Forking Lemma and Fiat-Shamir Transform, via a Flexible and Expressive Oracle Representation.

Devon Tuma, Nicholas Hopper

IACR Cryptol. ePrint Arch., 2024