Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full DIMVA paper archive.