Indistinguishability Beyond Diff-Equivalence in ProVerif.

Vincent Cheval Itsaka Rakotonirina

Published in: CSF (2023)

Keyphrases

equivalence relation
database views
real time
learning algorithm
hierarchical data
data sets
databases
real world
artificial intelligence
social networks
case study
rough set theory
interactive dynamic influence diagrams