Vincent Hwang. Formal Verification of Emulated Floating-Point Arithmetic in Falcon. IACR Cryptology ePrint Archive, 2024:321, 2024. [doi]
@article{Hwang24, title = {Formal Verification of Emulated Floating-Point Arithmetic in Falcon}, author = {Vincent Hwang}, year = {2024}, url = {https://eprint.iacr.org/2024/321}, researchr = {https://researchr.org/publication/Hwang24}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2024}, pages = {321}, }