Barbosa MB, Castro D, Silva P.? 2014.??Compiling CAO: From Cryptographic Specifications to C Implementations. Principles of Security and Trust. 8414:240-244.