Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR.

Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi

Browse the full AINA paper archive.