I visited Enrico Tassi and gave a talk on the functional correctness of an optimized modular inversion algorithm [**(slides)**](/slides/26/slides-26-stamp.pdf)