Computationally Sound Symbolic Secrecy in the Presence of Hash Functions

Veronique Cortier, Steve Kremer, Ralf Kuesters, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

31 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Computationally Sound Symbolic Secrecy in the Presence of Hash Functions'. Together they form a unique fingerprint.

Mathematics