Login / Signup
Computational soundness without protocol restrictions.
Michael Backes
Ankit Malik
Dominique Unruh
Published in:
CCS (2012)
Keyphrases
</>
lightweight
mathematical programming
data sets
databases
neural network
coloured petri nets
case study
digital libraries
low cost
communication protocol