| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2009 | How to Encipher Messages on a Small Domain | crypto | 286-302 |
| 2 | 2006 | Computational Soundness of Formal Indistinguishability and Static Equivalence | eprint | online |
| 3 | 2006 | Faugere's F5 Algorithm Revisited | eprint | online |
Coauthors of Till Stegers |