Verification of an Optimized NTT Algorithm

Lecture Notes in Computer Science - Software Verification ◽

10.1007/978-3-030-63618-0_9 ◽

2020 ◽

pp. 144-160

Author(s):

Jorge A. Navas ◽

Bruno Dutertre ◽

Ian A. Mason

Download Full-text