| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alejandro Ranchal-Pedrosa, Vincent Gramoli |
Basilic: Resilient-Optimal Consensus Protocols with Benign and Deceitful Faults.  |
CSF  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001 |
Election Verifiability in Receipt-Free Voting Protocols. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Portela, Hugo Pacheco 0001, Pedro Jorge, Rogério Pontes |
General-Purpose Secure Conflict-free Replicated Data Types. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahra Javar, Bruce M. Kapron |
Preimage Awareness in Linicrypt. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Patrignani, Sam Blackshear |
Robust Safety for Move. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Brzuska, Sabine Oechsner |
A State-Separating Proof for Yao's Garbling Scheme. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Chan, Marek Chrobak, Mohsen Lesani |
Cross-Chain Swaps with Preferences. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Alexandre Debant, Stéphanie Delaune |
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashley Fraser, Lydia Garms, Elizabeth A. Quaglia |
On the Incoercibility of Digital Signatures. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shun Takagi, Fumiyuki Kato, Yang Cao 0011, Masatoshi Yoshikawa |
From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini |
Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Wilson, Mikael Asplund, Niklas Johansson |
Extending the Authentication Hierarchy with One-Way Agreement. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Statement-Oblivious Threshold Witness Encryption. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman |
Smart Contract Synthesis Modulo Hyperproperties. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Cheval, Itsaka Rakotonirina |
Indistinguishability Beyond Diff-Equivalence in ProVerif. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Holler, Sebastian Biewer, Clara Schneidewind |
HoRStify: Sound Security Analysis of Smart Contracts. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia 0001 |
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayanton V. Dibbo |
SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi |
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunxiao Zhang, Pasquale Malacaria |
Keep Spending: Beyond Optimal Cyber-Security Investment. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas Cremers, Charlie Jacomme, Philip Lukert |
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023 |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Easwar Vivek Mangipudi, Donghang Lu, Alexandros Psomas 0001, Aniket Kate |
Collusion-Deterrent Threshold Information Escrow. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeppe Fredsgaard Blaabjerg, Aslan Askarov |
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Firsov, Dominique Unruh |
Zero-Knowledge in EasyCrypt. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters |
High-Assurance Field Inversion for Curve-Based Cryptography. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese |
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei |
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia |
SoK: Delay-Based Cryptography. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherman S. M. Chow, Christoph Egger 0001, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo |
On Sustainable Ring-Based Anonymous Systems. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum |
Investigating Membership Inference Attacks under Data Dependencies. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis 0001, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso |
Bayes Security: A Not So Average Metric. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aikaterini-Panagiota Stouka, Thomas Zacharias 0001 |
On the (De) centralization of FruitChains. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew C. Reed, Michael K. Reiter |
Optimally Hiding Object Sizes with Constrained Padding. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos |
Securing Optimized Code Against Power Side Channels. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Cheval, Véronique Cortier, Alexandre Debant |
Election Verifiability with ProVerif. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach |
Formalizing Stack Safety as a Security Property. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peixuan Li, Danfeng Zhang |
Towards a General-Purpose Dynamic Information Flow Policy. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua |
Is Eve nearby? Analysing protocols under the distant-attacker assumption. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mestel, Johannes Müller 0001, Pascal Reisert |
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Gondron, Sebastian Mödersheim, Luca Viganò 0001 |
Privacy as Reachability. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Horne, Sjouke Mauw, Semen Yurkov |
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thilo Weghorn, Si Liu 0003, Christoph Sprenger 0001, Adrian Perrig, David A. Basin |
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin |
IFCIL: An Information Flow Configuration Language for SELinux. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | François Dupressoir, Konrad Kohbrok, Sabine Oechsner |
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, Bernd Finkbeiner |
Prophecy Variables for Hyperproperty Verification. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese |
Proving full-system security properties under multiple attacker models on capability machines. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg |
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alisa Pankova, Peeter Laud |
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Cheval, Raphaëlle Crubillé, Steve Kremer |
Symbolic protocol verification with dice: process equivalences in the presence of probabilities. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova 0001, Siddharth Garg, Mahesh Tripunitara |
Locked Circuit Indistinguishability: A Notion of Security for Logic Locking. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiu Bursuc, Sjouke Mauw |
Contingent payments from two-party signing and verification for abelian groups. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Priyanka Mondal, Maximilian Algehed, Owen Arden |
Applying consensus and replication securely with FLAQR. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mestel |
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Ciampi, Yun Lu 0001, Vassilis Zikas |
Collusion-Preserving Computation without a Mediator. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Oakley, Alina Oprea, Stavros Tripakis |
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding 0001 |
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Boeira, Mikael Asplund |
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bun, Marco Gaboardi, Ludmila Glinskih |
The Complexity of Verifying Boolean Programs as Differentially Private. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzane Karami, David A. Basin, Einar Broch Johnsen |
DPL: A Language for GDPR Enforcement. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis |
Mapping Synthesis for Hyperproperties. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala |
Adversary Safety by Construction in a Language of Cryptographic Protocols. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022 |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyi Li 0002, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001 |
A Formal Model of Checked C. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau |
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander May 0001, Floyd Zweydinger |
Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommy Hollenberg, Mike Rosulek, Lawrence Roy |
A Complete Characterization of Security for Linicrypt Block Cipher Modes. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg 0001, Catalin Hritcu |
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petar Paradzik, Ante Derek |
Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Antoine Dallon, Stéphanie Delaune |
A small bound on the number of sessions for security protocols. |
CSF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters |
Formal security analysis of MPC-in-the-head zero-knowledge protocols. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Klenze, Christoph Sprenger 0001, David A. Basin |
Formal Verification of Secure Forwarding Protocols. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini |
Formal Impact Metrics for Cyber-physical Attacks. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss |
KACHINA - Foundations of Private Smart Contracts. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos E. Budde, Mariëlle Stoelinga |
Efficient Algorithms for Quantitative Attack Tree Analysis. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Orly Stan, Ron Bitton, Michal Ezrets, Moran Dadon, Masaki Inokuchi, Yoshinobu Ohta, Tomohiko Yagyu, Yuval Elovici, Asaf Shabtai |
Heuristic Approach for Countermeasure Selection Using Attack Graphs. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands 0001 |
A Quantale of Information. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Xiang, Nathan Fulton, Stephen Chong |
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Gondron, Sebastian Mödersheim |
Vertical Composition and Sound Payload Abstraction for Stateful Protocols. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Søren Eller Thomsen, Bas Spitters |
Formalizing Nakamoto-Style Proof of Stake. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucca Hirschi, Lara Schmid, David A. Basin |
Fixing the Achilles Heel of E-Voting: The Bulletin Board. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Dax, Robert Künnemann |
On the Soundness of Infrastructure Adversaries. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001 |
Mechanised Models and Proofs for Distance-Bounding. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith 0001 |
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankush Das, Stephanie Balzer, Jan Hoffmann 0002, Frank Pfenning, Ishani Santurkar |
Resource-Aware Session Types for Digital Contracts. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner |
Consistency for Functional Encryption. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati |
On Compositional Information Flow Aware Refinement. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Wang 0044, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic |
Statistical Model Checking for Hyperproperties. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Sandrine Blazy, Rémi Hutin, David Pichardie |
Secure Compilation of Constant-Resource Programs. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Nicholas Coughlin, Graeme Smith 0001 |
Backwards-directed information flow analysis for concurrent programs. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daiki Miyahara, Yuichi Komano, Takaaki Mizuki, Hideaki Sone |
Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeppe Fredsgaard Blaabjerg, Aslan Askarov |
Towards Language-Based Mitigation of Traffic Analysis Attacks. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | François Dupressoir, Sara Zain |
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Américo, Pasquale Malacaria |
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi |
Language Support for Secure Software Development with Enclaves. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Stefano Lande, Roberto Zunino |
Computationally sound Bitcoin tokens. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Camenisch, Maria Dubovitskaya, Alfredo Rial |
Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu |
Dynamic IFC Theorems for Free! |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license