An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation.

Alfredo Pironti, Riccardo Sisto

Browse the full ISCC paper archive.