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