Computational Soundness of Formal Indistinguishability and Static Equivalence. - Gergei Bana; Payman Mohassel; Till Stegers (IACR Cryptol. ePrint Arch., 2006)

Faugere's F5 Algorithm Revisited. - Till Stegers (IACR Cryptol. ePrint Arch., 2006)

How to Encipher Messages on a Small Domain. - Ben Morris 001; Phillip Rogaway; Till Stegers (CRYPTO, 2009)

Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code. - Phillip Rogaway; Till Stegers (CSF, 2009)

Format-Preserving Encryption. - Mihir Bellare; Thomas Ristenpart; Phillip Rogaway; Till Stegers (IACR Cryptol. ePrint Arch., 2009)

Deterministic Encryption with the Thorp Shuffle. - Ben Morris 001; Phillip Rogaway; Till Stegers (J. Cryptol., 2018)