ePassport Protocol on the Spi Calculus. - Safa Saoudi; Souheib Yousfi; Riadh Robbana (VECoS, 2016)

Elliptic Curve Cryptography on E-Passport Authentication Protocol. - Safa Saoudi; Souheib Yousfi; Riadh Robbana (AICCSA, 2017)