This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
CryptoSMT is a tool for automating differential cryptanalysis for cryptographic primitives. It uses SMT solvers to find optimal differential trails and calculate probabilities for various block ciphers and hash functions.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.