Login / Signup

Automated Verification of Block Cipher Modes of Operation, an Improved Method.

Martin GagnéPascal LafourcadeYassine LakhnechReihaneh Safavi-Naini
Published in: FPS (2011)
Keyphrases
  • probabilistic model
  • data sets
  • social networks
  • graph theory