PPaperPicks
← All conferences
Editions202620252024

CSFW 2025

A

IEEE Computer Security Foundations Symposium

Official site ↗
38
accepted papers
117
authors
June 16-20, 2025
dates
USA
location

38 / 38 papers

  1. 1
    $BitML{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies
    Federico Badaloni
    ,
    Sebastian Holler
    ,
    Chrysoula Oikonomou
    ,
    Pedro Moreno-Sanchez
    ,
    Clara Schneidewind
  2. 2
    A Graded Modal Approach to Relaxed Semantic Declassification
    Vineet Rajani
    ,
    Alex Coleman
    ,
    Hrutvik Kanabar
  3. 3
    A Novel Approach to Differential Privacy with Alpha Divergence
    Yifeng Liu
    ,
    Zehua Wang
  4. 4
    Accountability, Involvement, and Mediation for Information Flow
    Elisavet Kozyri
    ,
    Fred B. Schneider
    ,
    Stephen Chong
  5. 5
    Actual Knowledge Gain as Privacy Loss in Local Privacy Accounting
    Mingen Pan
  6. 6
    AGATE: Augmented Global Attested Trusted Execution in the Universal Composability Framework
    Lorenzo Martinico
    ,
    Markulf Kohlweiss
  7. 7
    An Extension of the Adversarial Threat Model in Quantitative Information Flow
    Mohammad A. Zarrabian
    ,
    Parastoo Sadeghi
  8. 8
    Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems
    Stephan Dübler
    ,
    Federico Badaloni
    ,
    Pedro Moreno-Sanchez
    ,
    Clara Schneidewind
  9. 9
    Automated Analysis and Synthesis of Message Authentication Codes
    Stefan Milius
    ,
    Dominik Paulus
    ,
    Dominique Schröder
    ,
    Lutz Schröder
    ,
    Julian Thomas
  10. 10
    Automatic Verification of Finite Variant Property Beyond Convergent Equational Theories
    Vincent Cheval
    ,
    Caroline Fontaine
  11. 11
    Cryptographically Assured Information Flow: Assured Remote Execution
    Scott L. Dyer
    ,
    Christian A. Femrite
    ,
    Joshua D. Guttman
    ,
    Julian P. Lanson
    ,
    Moses D. Liskov
  12. 12
    Dynamic Group Signatures with Verifier-Local Revocation
    Callum London
    ,
    Daniel Gardham
    ,
    Constantin Catalin Dragan
  13. 13
    Formal Analysis of Random Nonce Misuses in Cryptographic Protocols
    Gildas Avoine
    ,
    Tristan Claverie
    ,
    Stéphanie Delaune
  14. 14
    Formal Robustness for Cyber-Physical Systems Under Timed Attacks
    Jian Xiang
    ,
    Simone Tini
    ,
    Ruggero Lanotte
    ,
    Massimo Merro
  15. 15
    Foundations of Multi-Designated Verifier Signature Comprehensive Formalization and New Constructions in Subset Simulation
    Keitaro Hashimoto
    ,
    Kyosuke Yamashita
    ,
    Keisuke Hara
  16. 16
    FSLH: Flexible Mechanized Speculative Load Hardening
    Jonathan Baumann
    ,
    Roberto Blanco
    ,
    Léon Ducruet
    ,
    Sebastian Harwig
    ,
    Catalin Hritcu
  17. 17
    Gradual Sensitivity Typing
    Damián Árquez
    ,
    Matías Toro
    ,
    Éric Tanter
  18. 18
    Improving Count-Mean Sketch as the Leading Locally Differentially Private Frequency Estimator for Large Dictionaries
    Mingen Pan
  19. 19
    Nominal State-Separating Proofs
    Markus Krabbe Larsen
    ,
    Carsten Schürmann
  20. 20
    Nonmalleable Progress Leakage
    Ethan Cecchetti
  21. 21
    On DoS Vulnerability of Regular Expressions, with and Without Backreferences
    Tachio Terauchi
  22. 22
    One For All: Formally Verifying Protocols which use Aggregate Signatures
    Xenia Hofmeier
    ,
    Andrea Raguso
    ,
    Ralf Sasse
    ,
    Dennis Jackson
    ,
    David A. Basin
  23. 23
    Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers
    Bhagya Wimalasiri
    ,
    Benjamin Dowling
    ,
    Rabiah Alnashwan
  24. 24
    Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
    Léonard Brice
    ,
    Jean-François Raskin
    ,
    Mathieu Sassolas
    ,
    Guillaume Scerri
    ,
    Marie van den Bogaard
  25. 25
    Privacy-Preserving Server-Supported Decryption
    Peeter Laud
    ,
    Alisa Pankova
    ,
    Jelizaveta Vakarjuk
  26. 26
    Rethinking Attack Path Management: A New Metric for Choke Points in Attack Graphs
    Yumeng Zhang
    ,
    Max Ward
    ,
    Hung Nguyen
  27. 27
    Scalable Private Signaling
    Sashidhar Jakkamsetti
    ,
    Zeyu Liu
    ,
    Varun Madathil
  28. 28
    Secrecy by Typing in the Computational Model
    Stéphanie Delaune
    ,
    Clément Hérouard
    ,
    Joseph Lallemand
  29. 29
    Securing P4 Programs by Information Flow Control
    Anoud Alshnakat
    ,
    Amir M. Ahmadian
    ,
    Musard Balliu
    ,
    Roberto Guanciale
    ,
    Mads Dam
  30. 30
    Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting
    Andreas Athanasiou
    ,
    Konstantinos Chatzikokolakis
    ,
    Catuscia Palamidessi
  31. 31
    Session Types for the Concurrent Composition of Interactive Differential Privacy
    Victor Sannier
    ,
    Patrick Baillot
    ,
    Marco Gaboardi
  32. 32
    SMT-Based Automation for Overwhelming Truth
    David Baelde
    ,
    Stéphanie Delaune
    ,
    Stanislas Riou
  33. 33
    Strands Rocq: Why is a Security Protocol Correct, Mechanically?
    Matteo Busi
    ,
    Riccardo Focardi
    ,
    Flaminia L. Luccio
  34. 34
    Symbolic Parallel Composition for Multi-language Protocol Verification
    Faezeh Nasrabadi
    ,
    Robert Künnemann
    ,
    Hamed Nemati
  35. 35
    Unveiling the (in)Security of Threshold FHE-Based Federated Learning: The Practical Impact of Recent CPAD Attacks
    Adda-Akram Bendoukha
    ,
    Renaud Sirdey
    ,
    Aymen Boudguiga
    ,
    Nesrine Kaaniche
  36. 36
    Verifiable E-Voting with a Trustless Bulletin Board
    Daniel Rausch
    ,
    Nicolas Huber
    ,
    Ralf Küsters
  37. 37
    VRaaS: Verifiable Randomness as a Service on Blockchains
    Jacob Gorman
    ,
    Lucjan Hanzlik
    ,
    Aniket Kate
    ,
    Easwar Vivek Mangipudi
    ,
    Pratyay Mukherjee
    ,
    Pratik Sarkar
    ,
    Sri Aravinda Krishnan Thyagarajan
  38. 38
    Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application
    Thomas Haines
    ,
    Rafieh Mosaheb
    ,
    Johannes Müller
    ,
    Reetika