CSF

Publications

2023

Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
General-Purpose Secure Conflict-free Replicated Data Types. CSF (2023)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability in Receipt-Free Voting Protocols. CSF (2023)
Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum
Investigating Membership Inference Attacks under Data Dependencies. CSF (2023)
Ashley Fraser, Lydia Garms, Elizabeth A. Quaglia
On the Incoercibility of Digital Signatures. CSF (2023)
36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023 CSF (2023)
Eric Chan, Marek Chrobak, Mohsen Lesani
Cross-Chain Swaps with Preferences. CSF (2023)
Alejandro Ranchal-Pedrosa, Vincent Gramoli
Basilic: Resilient-Optimal Consensus Protocols with Benign and Deceitful Faults. CSF (2023)
Andrew C. Reed, Michael K. Reiter
Optimally Hiding Object Sizes with Constrained Padding. CSF (2023)
Shahnewaz Karim Sakib, George T. Amariucai, Yong Guan
Variations and Extensions of Information Leakage Metrics with Applications to Privacy Problems with Imperfect Statistical Information. CSF (2023)
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. CSF (2023)
Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini
Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE. CSF (2023)
Sayanton V. Dibbo
SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap. CSF (2023)
Johannes Wilson, Mikael Asplund, Niklas Johansson
Extending the Authentication Hierarchy with One-Way Agreement. CSF (2023)
Zahra Javar, Bruce M. Kapron
Preimage Awareness in Linicrypt. CSF (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Statement-Oblivious Threshold Witness Encryption. CSF (2023)
Emiel Lanckriet, Matteo Busi, Dominique Devriese
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. CSF (2023)
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Formalizing Stack Safety as a Security Property. CSF (2023)
Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
Bayes Security: A Not So Average Metric. CSF (2023)
Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
Securing Optimized Code Against Power Side Channels. CSF (2023)
Denis Firsov, Dominique Unruh
Zero-Knowledge in EasyCrypt. CSF (2023)
Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF (2023)
Easwar Vivek Mangipudi, Donghang Lu, Alexandros Psomas, Aniket Kate
Collusion-Deterrent Threshold Information Escrow. CSF (2023)
Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia
SoK: Delay-Based Cryptography. CSF (2023)
Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF (2023)
Yunxiao Zhang, Pasquale Malacaria
Keep Spending: Beyond Optimal Cyber-Security Investment. CSF (2023)
Shun Takagi, Fumiyuki Kato, Yang Cao, Masatoshi Yoshikawa
From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies. CSF (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CSF (2023)
Aikaterini-Panagiota Stouka, Thomas Zacharias
On the (De) centralization of FruitChains. CSF (2023)
David Baelde, Alexandre Debant, Stéphanie Delaune
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF (2023)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CSF (2023)
Marco Patrignani, Sam Blackshear
Robust Safety for Move. CSF (2023)
Chris Brzuska, Sabine Oechsner
A State-Separating Proof for Yao's Garbling Scheme. CSF (2023)
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF (2023)
Vincent Cheval, Véronique Cortier, Alexandre Debant
Election Verifiability with ProVerif. CSF (2023)
Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters
High-Assurance Field Inversion for Curve-Based Cryptography. CSF (2023)
Sherman S. M. Chow, Christoph Egger, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo
On Sustainable Ring-Based Anonymous Systems. CSF (2023)
Cas Cremers, Charlie Jacomme, Philip Lukert
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF (2023)
Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. CSF (2023)
Vincent Cheval, Itsaka Rakotonirina
Indistinguishability Beyond Diff-Equivalence in ProVerif. CSF (2023)

2022