1. Affeldt, R., Marti, N.: An Approach to Formal Verification of Arithmetic Functions in Assembly. In: Proceedings of the 11th Annual Asian Computing Science Conference. LNCS, vol. 4435, pp. 346–360. Springer, Heidelberg (2008).
2. Affeldt R, Nowak D, Yamada K (2012) Certifying Assembly with Formal Security Proofs: the Case of BBS. Sci. Comput. Program 77(10–11):1058–1074
3. Affeldt, R.: On Construction of a Library of Formally Verified Low-level Arithmetic Functions. In: Proceedings of the 27th ACM SIGAPP Symposium On Applied Computing (SAC 2012), Software Verification and Testing Track, vol. 2, pp. 1326–1331. ACM (2012).
4. Affeldt, R., Marti, N.: Towards Formal Verification of TLS Network Packet Processing Written in C. In: Proceedings of the 7th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013), pp. 35–46. ACM (2013).
5. Affeldt, R.: A Library for Formal Verification of Low-level Programs. Coq documentation. http://staff.aist.go.jp/reynald.affeldt/coqdev (last access: 2013/02/25)