Dr François Dupressoir

Lecturer in Secure Systems

Qualifications: PhD (Open University 2013)

Email:
Phone: Work: 01483 68 9195
Room no: 17 BB 02

Office hours

By appointment. Please check my calendar for availabilities. Avoid Wednesday afternoons and Friday unless absolutely necessary, regardless of calendar availabilities.

Further information

Biography

François joined the Department as a Lecturer in Secure Systems in June 2016. Before joining the Department, he was a post-doctoral researcher at the IMDEA Software Institute, working mainly with Gilles Barthe, Pierre-Yves Strub and Benjamin Grégoire (Inria Sophia-Antipolis -- Méditerranée). In 2013, he received a PhD from the Open University for his work on "Proving Cryptographic C Programs Secure with General-Purpose Verification Tools", under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh. His PhD was supported by a Microsoft Research PhD Scholarship. During the course of his PhD, he worked as a research intern at the European Microsoft Innovation Center (Aachen, Germany), as well as at Microsoft Research in Redmond and Cambridge.

Research Interests

François's research revolves around proving cryptographic, side-channel and partial compromise security properties of concrete realizations and implementations of cryptographic primitives and protocols. This involves tackling problems in modelling adversaries and systems, designing and applying proof methodologies and verification tools, and generally finding less tedious ways of verifying complex properties of important (but not vast) quantities of code.

In the past, he briefly worked on abstract interpretation and some aspects of programming and natural languages.

Publications

A full list of publications can be found on my personal website.
  • Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model, with Gilles Barthe, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert and Pierre-Yves Strub. Eurocrypt 2017.
  • Strong Non-Interference and Type-Directed Higher-Order Masking, with Gilles Barthe, Sonia Belaïd, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub and Rébecca Zucchini. CCS 2016.
  • Verifying Constant-Time Implementations, with José Bacelar Almeida, Manuel Barbosa, Gilles Barthe and Michael Emmi. USENIX Security 2016.
  • Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC, with J. C. Bacelar Almeida, Manuel Barbosa and Gilles Barthe. FSE 2016. Best paper award.
  • Verified Proofs of Higher-Order Masking, with Gilles Barthe, Sonia Belaïd, Pierre-Alain Fouque, Benjamin Grégoire and Pierre-Yves Strub. EuroCrypt 2015.
  • Synthesis of Fault Attacks on Cryptographic Implementations, with Gilles Barthe, Pierre-Alain Fouque, Benjamin Grégoire and Jean-Christophe Zapalowicz. CCS 2014.
  • Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols, with Andrew D. Gordon, Jan Jürjens and David A. Naumann. Journal of Computer Security 2014.
  • Certified Computer-Aided Cryptography: Efficient Provably Secure Machine Code from High-Level Implementations, with J. C. Bacelar Almeida, Manuel Barbosa and Gilles Barthe. CCS 2013.

Teaching

  • COMM044: Symmetric Cryptography, taken over from Mark Manulis

Departmental Duties

  • Academic Integrity Officer (2016-)
  • Departmental Seminar Series (2016-) -- Contact me for schedule, or to be added to the list of potential speakers. We are particularly interested in seminar talks on formal methods, theoretical and applied security, computer forensics, evolutionary optimisation, neuromorphic systems, machine learning.
  • MSc Coordinator (2016-)

PGP Key (6378e6f27f15dc36)

From the MIT PGP keyserver.

Or locally.

-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBFegq2wBEAC+EAMBNcXyyVXiAGkMXSKvuYq59biVSymif3aj/QoDdBoBuny6wzU1S98f
752J014Yc0p713kUrhfqyQoiwuYMFBvb/oxojmMzsWvx/nSsPrDVwFPyJ/E/A/HCu+NnKn9Y
ZJ/O8iU3nhwCcxAxa+q8Zy7cCW03M1bMBP2iZX9Iq3mXsbadIjPXg2iy2v0CNo1BPyj9cIcq
1QHyuXA4DqDoECG4Vb4m9tMZwLHYZdjp5aQdrND0Ikw9aCA1vLnrCJjx1lbDEzGhO82NJfpf
iUJxC5b/ciMZh6HX5HyXWLnHHsdYOD25YdG7nyPjxp7z1crT8Y6v1XTL3BPrsx04ksBPO901
uoLtYR4srdZG9YF4lErauuXs4OsRnJTP7Oa+fG+aFjZV65DVTly2cpkxiAwwGWTUe8SHyzaH
oqzF4EFyoJQTUoYpgWuC2nRnKhocaQgRn2co08l1kMqe6ixMHbfam62XcvHSU6aNaKu1ogaY
OviDY+P55pHdbxWtrqOjMQh6m6Gb5tzdI/wbfCO0a7Vf1GLBBWAu+RF7Mfc6wtxzt1pY8tbE
J80gfMizqOZpQJUEYKX2oZp/oPkFF3bsnnjbSbQJ/DR4aibMWIMy6C+iv6z7ry2av6nJXdg4
cekJb5NlDqrOwU0S8mBX1DAkkfDLzhrL62lR9fb3i4oyzD5uwQARAQABtDBGcmFuw6dvaXMg
RHVwcmVzc29pciA8Zi5kdXByZXNzb2lyQHN1cnJleS5hYy51az6JAj8EEwEIACkFAlegq2wC
GwMFCQWjbEQHCwkIBwMCAQYVCAIJCgsEFgIDAQIeAQIXgAAKCRBjeObyfxXcNpNrD/99rhQZ
g544MU6e+LrYGPWmaQXy98TSFYicfTi5BLRBHkx1+/DWK8aCJ+b9wl6roEW3VPEutxdFLOTZ
wPWQpM1zB21gjYglovvdNbvAbvXo7NK8lRbXzCnFJiQxxdJMYQEvCfZiaImFI/XkKiZXoFHM
A5Sk1MmQlOc0xHN0LfQE0edUtNzM5B2RUUQ/wzzmC6KLHTfR5oGSgazeGyZYGckK4YZsBn/H
cuolcCcFbKnVjjCe6yvMUkGNB5THCiXh3JzPW8JkxZ7EMudngp+J7F+0TpFQVcE4kQlSO2Gc
A1y9BW14rU4zHwffigZtT8yqEampN6m1gFp5dnTqbngFSFn/nwjN+nsVW6t/yRjQuRybGMvJ
eM63L747JihFqZsJwQd9SBsvLxquWpsId7AaLTtkMMKpv+FAg7Bz1mGlgI5QxdHLPRDCC8Pv
LJDCHcgnlblCvaEaXzrXtgTjr+HcYqVy+TobQ27xMFhH/jm0nsU+eXfrmTkD87JXIwmbrrl4
AZhezOLv9P16AThIhvFoKxuhzpz1axDtlBsK+P+vivey3AsxhomXjis1OIC/3mga1AHsT00t
L6H7xAC3Hb54rGvlV9ttnI8Zm6IrFZHeBoHQIUSk9M1hamQnnfHukIocmO0jMTpD7OdM0XZP
R/nPrhG4PLJOWJQHwvp98UFuILcnsrkCDQRXoKtsARAA88qAGAbd0DsAWaj6Y1CgUJ6dzfmC
YP2VymnNZfXhxn7+CVWOBZDpWyb88ewjwNi77IzqOKaFU7j4ULjEjKwClJwEvV2eeS6OkA2G
b06l8TNyoK0xyjxyg4oz+lrHi+M2aP8svgef2VprF4Nu9sC7lzMOw45yJTg1Uatq3er9lD4+
+0zmrmlCzGNpkxtANAxlno5p7YWLgubPkhfMM+DIAVv2F1WKxr1V8gAU/gCa3hB+daTW7iIK
gagTHhpDg6GgDgDGX9AyDx495Iov/5Nga8z8/vFc2OGnmYM9i8WqA4yFgvZQ1w7Wlyji90lY
7BoBxMKyVoB+kqihoRf64wauMxvWOrQJLUsMCwDFLhpyeleyZIYEQ9lw64/ceT4HUK6nfGgO
F7qzxW1TFtVGyjh1P2YN1WVnR1U//lbZKofbGy2NFB8kUppHnF3aDmjmQUCO3/f1mhrdt5pg
EFlIgNHSAEqi/fRFq/RI8NGUj+kUUvhWtLAFKaMyCb9RFC8dHbF+lLDmZbmM/gyNtQmU2bmM
4q0UNKeuWtKYhp8UsRrvmzxT6V9qxLjdjjkridyw41yDMZXd9h6a+VXyU+bcfghSnXtBMTvS
BCxcmc/tPYZTZfJtssaq70/RZw8dMQ7yLtWQzbWxND309Sr2WL6m4fhjBzENAs17So5PVBHy
sRKEA/cAEQEAAYkCJQQYAQgADwUCV6CrbAIbDAUJBaNsRAAKCRBjeObyfxXcNlreEACfCxsp
iS1iLkCMMKm3cwxKq3KBYJyuvirWoRefNb1V7BcCTkHbuq4ILW+TyZWWohYvBxK+Hp2z09ky
UNIMie0EuzyJsmGLsXfEPFp2w6o5fqUcrofbupKldkFbq6gyfgpeIxts5kEi37ehyAvwZmLL
jpNxkJdrPpNpsx28UW78TDjg8ZTWYO4gbPllHvfEalHYMH9ZJjm2eqFZPrNHOvsw/RXs2TJX
GgewYe6q+gTuZFJ90SEc0BEgROqcPlYiRzs+UgqqSqAynEdJC122rYbggnqzeM8bJnCbIKmK
wFtXgoO7stObamoLgjZRfKxwvobOiNL5GjL9j04zEO0eJipGRZQkOaWMvhgN8KeDFqZhVvY1
ACeDd2Iqmv4DElyOGYD4SOcnpK5Nh6IkWp3Y+4w1qGxA9AUWeEUffFalYJS0p7OIGVmRY7xD
hFY721gSGtlXVQmG0gc0zDBGmDfa2CMdh9yaTM5q9xf2HnuHrPMK8E36RG2aoLEzwmlNEZXP
Jph5mANgBy+VSZdZTBkzI3CDJfj5EbarZEniI7GO8kR8ATML1aT8jnvriixIT+TnbDIkmx61
utlWet7ZZh0heo0Ejj4fOa4T9gP0TqK2nNfSluY1U2MTf90NgFGY3lERsavBAx5uAPOJCKNx
wkZcPiim6aDXEBsMgKny6mXWXO9qBA==
=fSyL
-----END PGP PUBLIC KEY BLOCK-----

Page Owner: fd0006
Page Created: Wednesday 15 June 2016 15:36:36 by sl0022
Last Modified: Monday 30 January 2017 16:19:36 by fd0006
Expiry Date: Friday 15 September 2017 15:29:09
Assembly date: Fri Jun 23 09:29:30 BST 2017
Content ID: 164387
Revision: 9
Community: 1028

Rhythmyx folder: //Sites/surrey.ac.uk/computing/research/secure_systems/people
Content type: rx:StaffProfile