Login / Signup
Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy
Benjamin Grégoire
Published in:
ERCIM News (2012)
Keyphrases
</>
recent advances
formal verification
automated verification
researchers and practitioners
model checking
smart card
model checker
data management
software components
legacy systems
multimedia processing