Model Typing (Typage de Modèles). - James Steel (2007)

Reusable Authentication from the Iris. - Sailesh Simhadri; James Steel; Benjamin Fuller 001 (IACR Cryptol. ePrint Arch., 2017)

Cryptographic Authentication from the Iris. - Sailesh Simhadri; James Steel; Benjamin Fuller 001 (ISC, 2019)