1. Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.: The SIMON and SPECK families of lightweight block ciphers. Cryptology ePrint Archive, Report 2013/404 (2013). https://eprint.iacr.org/2013/404
2. Bond, B., et al.: Vale: verifying high-performance cryptographic assembly code. In: Proceedings of the 26th USENIX Security Symposium, pp. 917–934 (2017)
3. Lecture Notes in Computer Science;S Burignat,2013
4. Huffman, D.A.: Canonical forms for information-lossless finite-state logical machines. IRE Trans. Inf. Theor. 5(5), 41–59 (1959)
5. Protzenko, J.: Verified low-level programming embedded in F*. Proc. ACM Program. Lang. 1(ICFP), 17:1–17:29 (2017)