Breaking and Fixing the HB+DB protocol.

Ioana Boureanu David Gérault Pascal Lafourcade Cristina Onete

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

lightweight
database
formal analysis
cryptographic protocols
network protocols
coloured petri nets
data sets
relational database management systems