Cryptographic Protocol Verification via Supercompilation (A Case Study).

Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh

Browse the full CAV paper archive.