| Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. | 0 | 0.34 | 2022 |
| Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. | 0 | 0.34 | 2022 |
| Analysis and design of data transmission protocol for 1024-channel retinal prosthesis. | 2 | 0.46 | 2011 |
