PPaperPicks
← All conferences
Editions202620252024

CSFW 2024

A

IEEE Computer Security Foundations Symposium

Official site ↗
45
accepted papers
150
authors
July 8-12, 2024
dates
The Netherlands
location

45 / 45 papers

  1. 1
    A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions
    Laouen Fernet
    ,
    Sebastian Mödersheim
    ,
    Luca Viganò
  2. 2
    A Logic of Sattestation
    Aaron D. Jaggard
    ,
    Paul Syverson
    ,
    Catherine Meadows
  3. 3
    A Maintainable Matrix Commitment Scheme with Constant-Size Public Parameters and Incremental Aggregation
    Wenhui Qiao
    ,
    Liang Feng Zhang
  4. 4
    A Probabilistic Logic for Concrete Security
    David Baelde
    ,
    Caroline Fontaine
    ,
    Adrien Koutsos
    ,
    Guillaume Scerri
    ,
    Théo Vignon
  5. 5
    A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results
    Karima Makhlouf
    ,
    Tamara Stefanovic
    ,
    Héber Hwang Arcolezi
    ,
    Catuscia Palamidessi
  6. 6
    Accountable Bulletin Boards: Definition and Provably Secure Implementation
    Mike Graf
    ,
    Ralf Küsters
    ,
    Daniel Rausch
    ,
    Simon Egger
    ,
    Marvin Bechtold
    ,
    Marcel Flinspach
  7. 7
    Attack Tree Metrics are Operad Algebras
    Milan Lopuhaä-Zwakenberg
  8. 8
    Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation
    Alfredo Capozucca
    ,
    Maximiliano Cristiá
    ,
    Ross Horne
    ,
    Ricardo Katz
  9. 9
    Bridging the Gap: Automated Analysis of Sancus
    Matteo Busi
    ,
    Riccardo Focardi
    ,
    Flaminia L. Luccio
  10. 10
    Circuit-Succinct Universally-Composable NIZKs with Updatable CRS
    Behzad Abdolmaleki
    ,
    Noemi Glaeser
    ,
    Sebastian Ramacher
    ,
    Daniel Slamanig
  11. 11
    Composition in Differential Privacy for General Granularity Notions
    Patricia Guerra-Balboa
    ,
    Àlex Miranda-Pascual
    ,
    Javier Parra-Arnau
    ,
    Thorsten Strufe
  12. 12
    Computationally Bounded Robust Compilation and Universally Composable Security
    Robert Künnemann
    ,
    Marco Patrignani
    ,
    Ethan Cecchetti
  13. 13
    Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy
    Christian Badertscher
    ,
    Peter Gazi
    ,
    Aggelos Kiayias
    ,
    Alexander Russell
    ,
    Vassilis Zikas
  14. 14
    CV2EC: Getting the Best of Both Worlds
    Bruno Blanchet
    ,
    Pierre Boutry
    ,
    Christian Doczkal
    ,
    Benjamin Grégoire
    ,
    Pierre-Yves Strub
  15. 15
    Dealing with Dynamic Key Compromise in Crypto Verif
    Bruno Blanchet
  16. 16
    Deciding Branching Hyperproperties for Real Time Systems
    Nabarun Deka
    ,
    Minjian Zhang
    ,
    Rohit Chadha
    ,
    Mahesh Viswanathan
  17. 17
    Disjunctive Policies for Database-Backed Programs
    Amir M. Ahmadian
    ,
    Matvey Soloviev
    ,
    Musard Balliu
  18. 18
    Divide and Funnel: A Scaling Technique for Mix-Networks
    Debajyoti Das
    ,
    Sebastian Meiser
    ,
    Esfandiar Mohammadi
    ,
    Aniket Kate
  19. 19
    Epistemic Model Checking for Privacy
    Fortunat Rajaona
    ,
    Ioana Boureanu
    ,
    R. Ramanujam
    ,
    Stephan Wesemeyer
  20. 20
    Explaining ∊ in Local Differential Privacy Through the Lens of Quantitative Information Flow
    Natasha Fernandes
    ,
    Annabelle McIver
    ,
    Parastoo Sadeghi
  21. 21
    Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process
    Pedram Hosseyni
    ,
    Ralf Küsters
    ,
    Tim Würtele
  22. 22
    Formal Verification of the Sumcheck Protocol
    Azucena Garvía Bosshard
    ,
    Jonathan Bootle
    ,
    Christoph Sprenger
  23. 23
    Inject Less, Recover More: Unlocking the Potential of Document Recovery in Injection Attacks Against SSE
    Manning Zhang
    ,
    Zeshun Shi
    ,
    Huanhuan Chen
    ,
    Kaitai Liang
  24. 24
    Is the JCJ voting system really coercion-resistant?
    Véronique Cortier
    ,
    Pierrick Gaudry
    ,
    Quentin Yang
  25. 25
    Modeling Mobile Crash in Byzantine Consensus
    Hans Schmiedel
    ,
    Runchao Han
    ,
    Qiang Tang
    ,
    Ron Steinfeld
    ,
    Jiangshan Yu
  26. 26
    Nothing is Out-of-Band: Formal Modeling of Ceremonies
    Barbara Fila
    ,
    Sasa Radomirovic
  27. 27
    On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing
    Elena Andreeva
    ,
    Rishiraj Bhattacharyya
    ,
    Arnab Roy
    ,
    Stefano Trevisani
  28. 28
    On Separation Logic, Computational Independence, and Pseudorandomness
    Ugo Dal Lago
    ,
    Davide Davoli
    ,
    Bruce M. Kapron
  29. 29
    Post-Quantum Sound CryptoVerif and Verification of Hybrid TLS and SSH Key-Exchanges
    Bruno Blanchet
    ,
    Charlie Jacomme
  30. 30
    Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism
    Atalay Mert Ileri
    ,
    Nickolai Zeldovich
    ,
    Adam Chlipala
    ,
    M. Frans Kaashoek
  31. 31
    Provable Security Analysis of the Secure Remote Password Protocol
    Dennis Dayanikli
    ,
    Anja Lehmann
  32. 32
    Publicly Auditable Privacy-Preserving Electoral Rolls
    Prashant Agrawal
    ,
    Mahabir Prasad Jhanwar
    ,
    Subodh Vishnu Sharma
    ,
    Subhashis Banerjee
  33. 33
    Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience
    Francesco D'Amato
    ,
    Luca Zanolini
  34. 34
    Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities
    Brijesh Dongol
    ,
    Matt Griffin
    ,
    Andrei Popescu
    ,
    Jamie Wright
  35. 35
    Secure Synthesis of Distributed Cryptographic Applications
    Cosku Acay
    ,
    Joshua Gancher
    ,
    Rolph Recto
    ,
    Andrew C. Myers
  36. 36
    Security Properties through the Lens of Modal Logic
    Matvey Soloviev
    ,
    Musard Balliu
    ,
    Roberto Guanciale
  37. 37
    Software-Based Memory Erasure with Relaxed Isolation Requirements
    Sergiu Bursuc
    ,
    Reynaldo Gil Pons
    ,
    Sjouke Mauw
    ,
    Rolando Trujillo-Rasua
  38. 38
    Solving the Insecurity Problem for Assertions
    R. Ramanujam
    ,
    Vaishnavi Sundararajan
    ,
    S. P. Suresh
  39. 39
    Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
    Lisa Oakley
    ,
    Steven Holtzen
    ,
    Alina Oprea
  40. 40
    Unconditionally Secure MPC for Boolean Circuits With Constant Online Communication
    Zhenkai Hu
    ,
    Kang Yang
    ,
    Yu Yu
  41. 41
    UniHand: Privacy-Preserving Universal Handover for Small-Cell Networks in 5G-Enabled Mobile Communication with KCI Resilience
    Rabiah Alnashwan
    ,
    Prosanta Gope
    ,
    Benjamin Dowling
  42. 42
    Urgency in Cybersecurity Risk Management: Toward a Solid Theory
    Zoltán Ádám Mann
  43. 43
    Verification of Correctness and Security Properties for CRYSTALS-KYBER
    Katharina Kreuzer
  44. 44
    Wappler: Sound Reachability Analysis for WebAssembly
    Markus Scherer
    ,
    Jeppe Fredsgaard Blaabjerg
    ,
    Alexander Sjösten
    ,
    Magdalena Solitro
    ,
    Matteo Maffei
  45. 45
    ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs
    Dan Bogdanov
    ,
    Joosep Jääger
    ,
    Peeter Laud
    ,
    Härmel Nestra
    ,
    Martin Pettai
    ,
    Jaak Randmets
    ,
    Raul-Martin Rebane
    ,
    Ville Sokk
    ,
    Kert Tali
    ,
    Sandhra-Mirella Valdma