Login / Signup
Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox.
François Dupressoir
Konrad Kohbrok
Sabine Oechsner
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
theorem proving
mathematical proofs
theorem prover
data sets
natural deduction
state space
statistical databases
encryption scheme
network security
information security
security policies
security requirements
key management
data integrity
proof search
formal proof
information assurance
real time