CSF A

46 papers

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