A Aralex Aachen research explorer

January 11, 2022 conference-paper Open access

Reflection, rewinding, and coin-toss in EasyCrypt

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

DOI: 10.1145/3497775.3503693 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 5

Leakage-Free Probabilistic Jasmin Programs
2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Logic, programming, and type systems Open access

0

citations

1 result

References 0