Formal Modelling and Verification - Formal Modelling and Verification -

Formal Modelling and Verification

A Formal Model for Checking Cryptographic API Usage in JavaScript
Duncan Mitchell and Johannes Kinder

Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification
Sergiu Bursuc and Steve Kremer

Symbolic Analysis of Terrorist Fraud Resistance
Alexandre Debant, Stephanie Delaune and Cyrille Wiedling

Secure Communication Channel Establishment: TLS 1.3 (Over TCP Fast Open) vs. QUIC
Shan Chen, Samuel Jero, Matthew Jagielski, Alexandra Boldyreva and Cristina Nita-Rotaru


Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu