Finite State Machine Modelling of Cryptographic Systems in Loops.

Franz Pichler

Browse the full EuroCrypt paper archive.