Denis Butin

I am a postdoctoral researcher in the CDC group (Theoretical Computer Science — Cryptography and Computer Algebra) at TU Darmstadt in Germany.

Previously, I was a postdoctoral researcher at Inria, in the CITI lab near Lyon in France [map]. There, I was part of the CAPPRIS Project Lab, the Privatics team and the PARIS FP7 project. I was previously involved in the FI-WARE PPP.

I hold a PhD from the DCU School of Computing.


Contact Information

c/o TU Darmstadt, FB 20
Hochschulstraße 10
64289 Darmstadt, Germany

firstnamelastname@cdc.informatik.tu-darmstadt.de


Research

My current research focuses on post-quantum cryptography, specifically on practical aspects of hash-based (Merkle) signatures. The project website can be found at square-up.org and pqsignatures.org.

At Inria, I worked on accountability for design and security policy languages.

The topic of my PhD thesis was the analysis of security protocols using formal methods, with the interactive theorem prover Isabelle/HOL. My dissertation: [pdf | slides]

Standardisation and working documents

  • XMSS: Extended Hash-Based Signatures (Newest version: draft-irtf-cfrg-xmss-hash-based-signatures-10) — Andreas Hülsing, Denis Butin, Stefan-Lukas Gazdag and Aziz Mohaisen — IETF Internet-Draft — 2017. [HTML]

Book chapters

  • Post-Quantum Cryptography: State of the Art — Johannes Buchmann, Denis Butin, Florian Göpfert and Albrecht Petzoldt — in The New Codebreakers, Springer LNCS, 2016. [web | pdf]
  • Strong Accountability: Beyond Vague Promises — Denis Butin, Marcos Chicote and Daniel Le Métayer — in Reloading Data Protection: Multidisciplinary Insights and Contemporary Challenges, Springer, 2014. [web | pdf]

Journal papers

  • Hash-Based Signatures: State of Play — Denis Butin — in IEEE Security & Privacy, Volume 15, Issue 4, IEEE, 2017. [web]
  • Body-worn Cameras for Police Accountability: Opportunities and RisksFanny Coudert, Denis Butin and Daniel Le Métayer — in Computer Law & Security Review (CLSR), Volume 31, Issue 6, Elsevier, 2015. [web | pdf]

Conference and workshop papers with proceedings

  • Post-Quantum Authentication in OpenSSL with Hash-Based Signatures — Denis Butin, Julian Wälde and Johannes Buchmann — Tenth International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2017), IEEE. [pdf]
  • Analysing Privacy Analyses — Giampaolo Bella, Denis Butin and Hugo Jonker — 1st Italian Conference On Cybersecurity (ITASEC17), CEUR-WS.org. [web | pdf]
  • State Management for Hash-Based Signatures — David McGrew, Panos Kampanakis, Scott Fluhrer, Stefan-Lukas Gazdag, Denis Butin and Johannes Buchmann — 3rd International Conference on Research in Security Standardisation (SSR2016), Springer LNCS. [web | pdf | slides (presented by Stefan-Lukas Gazdag)]
  • Formal Policy-based Provenance Audit — Denis Butin, Denise Demirel, and Johannes Buchmann — 11th International Workshop on Security (IWSEC2016), Springer LNCS. [web | pdf | slides]
  • Formal Accountability for Biometric Surveillance: A Case StudyVinh-Thong Ta, Denis Butin and Daniel Le Métayer — Annual Privacy Forum (APF2015), Springer LNCS. [web | pdf | slides (presented by Vinh-Thong Ta)]
  • Real-World Post-Quantum Digital Signatures — Denis Butin, Stefan-Lukas Gazdag and Johannes Buchmann — Cybersecurity & Privacy Innovation Forum (CSP Forum 2015), Springer CCIS. [web | pdf | slides]
  • A Guide to End-to-End Privacy Accountability — Denis Butin and Daniel Le Métayer — 1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (TELERISE 2015), IEEE. [web | pdf | slides]
  • Inferring Accountability from Trust PerceptionsKoen Decroix, Denis Butin, Joachim Jansen and Vincent Naessens — 10th International Conference on Information Systems Security (ICISS 2014), Springer LNCS. [web | pdf | slides (presented by Koen Decroix)] The code for this paper moved from Google Code to GitHub. It can now be found here.
  • Towards a Multidisciplinary Framework to Include Privacy in the Design of Video Surveillance Systems — Zhendong Ma, Denis Butin, Francisco Jaime, Fanny Coudert, Antonio Kung, Claire Gayrel, Antonio Maña, Christophe Jouvray, Nathalie Trussart, Nathalie Grandjean, Víctor Manuel Hidalgo, Mathias Bossuet, Fernando Casado and M. Carmen Hidalgo — Annual Privacy Forum 2014 (APF2014), Springer LNCS. [web | pdf | slides (presented by Zhendong Ma)]
  • Log Analysis for Data Protection Accountability — Denis Butin and Daniel Le Métayer — 19th International Symposium on Formal Methods (FM2014), Springer LNCS. [web | pdf | slides]
  • Log Design for Accountability — Denis Butin, Marcos Chicote and Daniel Le Métayer — 4th International Workshop on Data Usage Management (DUMA13), IEEE. [web | pdf | slides]
  • Towards Verifying Voter Privacy Through Unlinkability — Denis Butin, David Gray and Giampaolo Bella — 5th International Symposium on Engineering Secure Software and Systems (ESSoS 2013), Springer LNCS. [web | pdf | slides]
  • Verifying Privacy by Little Interaction and No Process Equivalence (position paper) — Denis Butin and Giampaolo Bella — 9th International Conference on Security and Cryptography (SECRYPT 2012), INSTICC Press. [web | pdf | slides]
  • Holistic Analysis of Mix Protocols — Giampaolo Bella, Denis Butin and David Gray — 7th International Symposium on Information Assurance and Security (IAS 2011), IEEE. [web | pdf | slides]

Conference and workshop papers without proceedings

Technical reports

  • Log Analysis for Data Protection Accountability (Extended Version) — Denis Butin and Daniel Le Métayer — Inria research report — 2013. [pdf]

Panel participations

Presentations without published proceedings

Program Committee participations

Reviewing

External reviewer for the Springer International Journal of Information Security (IJIS), the IEEE Transactions on Parallel and Distributed Systems (TPDS), ESORICS 2014, ESORICS 2015, ESORICS 2017.


Teaching

Master thesis supervision (jointly with Juliane Krämer): Matthias Kannwischer, Physical Attack Vulnerability of Hash-Based Signature Schemes, 2017.

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


Last updated on 2017-09-26