Denis Butin I am a computer security PhD student at the DCU School of Computing; my advisor is David Gray.

Contact Information

Denis Butin
c/o School of Computing
DCU, Ballymun Road
Glasnevin
Dublin 9, Ireland
firstname.lastname@gmail.com

Research

I am working on the analysis of security protocols using formal methods. My main tool is the interactive theorem prover Isabelle.

Conference papers

• Holistic Analysis of Mix Protocols — Giampaolo Bella, Denis Butin and David Gray — 7th International Symposium on Information Assurance and Security (IAS 2011), IEEE Press. [web]
• Verifying Privacy by Little Interaction and No Process Equivalence — Denis Butin and Giampaolo Bella — 9th International Conference on Security and Cryptography (SECRYPT 2012), INSTICC Press, to appear.

Teaching

From 2008 to 2010, I was a tutor for the Computing for Mathematics module (CA167).