Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox.

François Dupressoir Konrad Kohbrok Sabine Oechsner

Published in: CSF (2022)

Keyphrases

theorem proving
theorem prover
security issues
formal proof
databases
state space
data mining
learning algorithm
access control
information security
statistical databases
security problems
proof search
formal proofs