Almeida, et al.. Certified Computer-aided Cryptography. ACM Press, 2013, doi:10.1145/2508859.2516652.