Almeida JB, Barbosa MB, Barthe G, Dupressoir F.? 2013.??Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. ACM Conference on Computer and Communications Security. :1217-1230.