Fran\c{c}ois Dupressoir

Identifiers

• name variant Fran\c{c}ois Dupressoir 0.60 · backfill

Papers (1)

1. Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols cs.CR · 2013 · author #1

Mentions

• 1312.6532 #1 · backfill · confidence 0.70 Fran\c{c}ois Dupressoir

Frequent Coauthors

• Andrew D. Gordon 1 shared papers
• David A. Naumann 1 shared papers
• Jan J\"urjens 1 shared papers