Symbolic methods in computational cryptography proofs

PDF

Date
Jun 18, 2019
Location
CSF'19, Journée GT MFS 2019 and Pesto working group
Charlie Jacomme
Charlie Jacomme
Full Time Researcher (CR) at Inria Nancy

Related