Publications

Finding user/kernel pointer bugs with type inference.

USENIX Security Symposium. (2004).
Did Filiol Break AES?

Cryptology ePrint Archive: Report 2003/022. (2003).
Multiplicative differentials

Fast Software Encryption: 9th International Workshop, FSE 2002 Leuven, Belgium, February 4–6, 2002 Revised Papers 9. (2002).
Homomorphic signature schemes

Topics in Cryptology - CT-RSA 2002. (2002).
FAIR: Fair audience inference

ACM Workshop on Digital Rights Management. (2002).
Checking Linux kernel user-space pointer handling with $$CQual$$

(2002).
A cryptanalysis of the high-bandwidth digital content protection system

Security and Privacy in Digital Rights Management: ACM CCS-8 Workshop DRM 2001 Philadelphia, PA, USA, November 5, 2001 Revised Papers. (2002).
New Approaches to Data Location

Citeseer. (2000).
On union-closed families, I

Journal of Combinatorial Theory, Series A. (1999).