Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox (2022)
Attributed to:
REPHRAIN: Research centre on Privacy, Harm Reduction and Adversarial Influence online
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/csf54842.2022.9919671
Publication URI: http://dx.doi.org/10.1109/csf54842.2022.9919671
Type: Conference/Paper/Proceeding/Abstract