Meta tags:
description=François Dupressoir’s research and teaching portfolio. High-assurance cryptography and security research. Computer science, programming languages and cryptography education.;
author=François Dupressoir;

Headings (most frequently used words):

research, biography, françois, dupressoir, other, related, information, supervision,

Text of the page (most frequently used words):
and (25), the (17), research (11), cryptographic (6), françois (5), #dupressoir (5), phd (5), cryptography (5), with (5), you (4), university (4), through (3), machine (3), publications (3), contact (3), for (3), tools (3), group (3), some (3), skip (3), only (2), less (2), interested (2), checked (2), software (2), security (2), project (2), but (2), supervision (2), core (2), around (2), proof (2), finding (2), ways (2), not (2), easycrypt (2), bristol (2), labs (2), check (2), out (2), proving (2), properties (2), this (2), verification (2), lecturer (2), open (2), was (2), msr (2), cambridge (2), 2025, powered, minimal, mistakes, jekyll, feed, tend, expect, encourage, independence, students, supervise, joint, enterprise, discovery, will, learning, slightly, than, process, guiding, are, positions, high, assurance, verified, please, take, look, recent, proposal, short, that, relates, them, essentially, first, year, your, shorter, internship, member, federating, activities, verifiable, engineering, enable, practical, adoption, techniques, formosa, crypto, developer, assistant, focusing, its, libraries, definitions, game, transformations, new, exciting, use, things, designed, associated, programming, languages, serve, head, representing, supporting, their, dan, page, chloe, martindale, other, related, information, topic, revolves, side, channel, concrete, realizations, implementations, primitives, protocols, presence, partial, compromise, involves, tackling, problems, modelling, adversaries, systems, designing, applying, methodologies, generally, tedious, verifying, complex, important, vast, quantities, code, then, went, work, using, increasingly, reach, proofs, including, more, real, world, adversary, models, while, post, doctoral, imdea, institute, has, been, focus, since, also, stay, senior, surrey, received, from, 2013, programs, secure, general, purpose, conducted, under, supported, microsoft, scholarship, spent, most, time, lab, internships, aachen, redmond, brief, stays, milton, keynes, bashar, nuseibeh, jan, jürjens, andy, gordon, associate, professor, school, computer, science, biography, linkedin, mastodon, github, gitlab, twitter, keybase, pgp, follow, toggle, menu, home, footer, content, primary, navigation,

Text of the page (random words):
françois dupressoir françois dupressoir skip to primary navigation skip to content skip to footer françois dupressoir home publications contact cv toggle menu françois dupressoir follow contact pgp keybase twitter gitlab github mastodon linkedin biography i am an associate professor in the cryptography research group and school of computer science at the university of bristol uk i received my phd from the open university in 2013 for my research on proving cryptographic c programs secure with general purpose verification tools it was conducted under the supervision of andy gordon jan jürjens and bashar nuseibeh and was supported by a microsoft research phd scholarship i spent most of my phd time at the msr lab in cambridge with internships in msr s labs in aachen cambridge and redmond and some brief stays at the open university in milton keynes i then went on to do some work on easycrypt and on using it to machine check increasingly out of reach cryptographic proofs including some with more real world adversary models while a post doctoral research at the imdea software institute this has been my research focus since also through my stay as a lecturer and senior lecturer at the university of surrey research my research revolves around proving cryptographic and side channel security properties of concrete realizations and implementations of cryptographic primitives and protocols in the presence of partial compromise 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 check out my publications on the topic other research related information i serve as head of the cryptography research group representing and supporting chloe martindale and dan page and their labs i am associated with the bristol programming languages research group i am a core developer for the easycrypt proof assistant focusing on its libraries of cryptographic definitions and game transformations and finding new and exciting ways to use it to do things it s not designed to do i am a core member of the formosa crypto project federating activities around machine checked cryptography and verifiable cryptographic engineering to enable practical adoption of the techniques and tools supervision if you are interested in research positions on machine checked cryptography high assurance cryptography or verified software security please take a look through my recent publications and contact me with a proposal for a short project that relates to them essentially the first year of your phd but shorter if you re only interested in an internship i tend to expect and encourage independence in students i supervise a phd is a joint enterprise in co discovery and i will be learning only slightly less than you in the process of guiding you through it feed 2025 françois dupressoir powered by jekyll minimal mistakes