Publications tagged "EasyCrypt"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2024
-
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser and Gabriele Vanoni. “Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs”. Proc. ACM Program. Lang. 8 (OOPSLA1): 784–809 (2024)