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

Alfredo Pironti Riccardo Sisto An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. 839-844 2007 ISCC http://dx.doi.org/10.1109/ISCC.2007.4381508 conf/iscc/2007 db/conf/iscc/iscc2007.html#PirontiS07