On Elliptic Curve Cryptography implementations and evaluation. - Nejmeddine Alimi; Younes Lahbib; Mohsen Machhout; Rached Tourki (ATSIP, 2016)

Simulation-based verification of large-integer arithmetic circuits. - Nejmeddine Alimi; Younes Lahbib; Mohsen Machhout; Rached Tourki (IVSW, 2016)