Login / Signup
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
Martin Avanzini
Gilles Barthe
Benjamin Grégoire
Georg Moser
Gabriele Vanoni
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
equational theories
theorem proving
formal proofs
real time
learning algorithm
intrusion detection
security requirements
security systems
mathematical proofs
data sets
structural properties
theorem prover
decision procedures
spread spectrum
mathematical knowledge
automated theorem provers