1 paper
Daniel J. Dougherty, Joshua D. Guttman
Molly is a program that compiles cryptographic protocol roles written in a high-level notation into straight-line programs in an intermediate-level imperative language, suitable fo…