FCS — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
10:30-11:00
Coffee Break
FCS
Location:
C5.02
11:00-12:15
Session 1: Information Flow Security and Secure Attestation
FCS
Session Chair:
Location:
C5.02
| 11:00-11:25 |
Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice (abstract) 25 min
1 Tohoku University
|
| 11:25-11:50 |
Environmental Bisimulation for Type-Based Secure Information Flow in $\lambda$-Calculus with Declassification (abstract) 25 min
1 Tohoku University
|
| 11:50-12:15 |
Designing Trustworthy Layered Attestations (abstract) 25 min
1 Zeno's Arrow Consulting
2 University of Kansas
3 The MITRE Corporation
4 National Security Agency
|
12:30-14:00
Mentoring Lunch
FCS
14:00-15:30
Session 2: Cryptography
FCS
Session Chair:
Location:
C5.02
| 14:00-14:25 |
GCD: Garbled, Corrected, Demonstrandum - Fixing and Proving Go's Extended GCD Implementation (abstract) 25 min
1 National University of Singapore
|
| 14:25-14:45 |
Proof Obligations Induced by Shared Challenges in Hybrid Fiat-Shamir Signatures (abstract) 20 min
1 Barkhausen Institut, Dresden
|
| 14:45-15:10 |
Ladders are Better than Trampolines: Key Exchange Security in EasyCrypt’s Probabilistic Relational Hoare Logic (abstract) 25 min
1 Universidade do Porto (FCUP) and INESC TEC, Porto Portugal
2 University of Bristol
3 Norwegian University of Science and Technology (NTNU)
4 Vrije Universiteit Amsterdam
5 Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
|
| 15:10-15:30 |
Formal Verification of Assembly Implementations of Cryptographic Functions via Decompilation (abstract) 20 min
1 Eindhoven University of Technology
2 University of Porto and INESC TEC
|
15:30-16:00
Coffee Break
FCS
Location:
C5.02
16:00-17:25
Session 3: Smart Contracts and (Cyrptographic) Protocols
FCS
Session Chair:
Location:
C5.02
| 16:00-16:20 |
Combining Program and Protocol Analysis for Frontrunning Resistance in Smart Contracts (abstract) 20 min
1 MPI-SP
2 MPI-SP, Ruhr University Bochum
|
| 16:20-16:40 |
Renegade: Blockchain Protocols Simplified (abstract) 20 min
1 Max Planck Institute for Security and Privacy (MPI-SP)
|
| 16:40-17:05 |
Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel (abstract) 25 min
1 Univ Rennes, IRISA, CNRS
2 AMIAD
3 Inria Nancy Grand-Est, Université de Lorraine, LORIA
4 Inria Paris
|
| 17:05-17:25 |
A Secrecy Logic and the Post-Compromise Security of an Asymmetric Ratchet (abstract) 20 min
1 Inria Nancy Grand-Est, Université de Lorraine, LORIA
2 Inria
3 Univ. Rennes, CNRS, IRISA
|