Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert Künnemann, Deepak Garg 0001, Michael Backes 0001 |
Accountability in the Decentralised-Adversary Setting. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021 |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Akram El-Korashy, Stelios Tsampas 0001, Marco Patrignani, Dominique Devriese, Deepak Garg 0001, Frank Piessens |
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sofiane Lounici, Mohamed Njeh, Orhan Ermis, Melek Önen, Slim Trabelsi |
Yes We can: Watermarking Machine Learning Models beyond Classification. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Bichhawat, Matt Fredrikson, Jean Yang 0001 |
Automating Audit with Policy Inference. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001 |
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ioanna Karantaidou, Foteini Baldimtsi |
Efficient Constructions of Pairing Based Accumulators. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Bichhawat, McKenna McCall, Limin Jia 0001 |
Gradual Security Types and Gradual Guarantees. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters |
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull |
Performing Security Proofs of Stateful Protocols. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk |
A Coq proof of the correctness of X25519 in TweetNaCl. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Leslie Lamport, Fred B. Schneider |
Verifying Hyperproperties With TLA. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Denis Firsov, Henri Lakk, Ahto Truu |
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Morio, Robert Künnemann |
Verifying Accountability for Unbounded Sets of Participants. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chike Abuah, Alex Silence, David Darais, Joseph P. Near |
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar |
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Sasa Radomirovic, Lara Schmid |
Dispute Resolution in Voting. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Busi 0001, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens |
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher K. Micinski, David Darais, Thomas Gilray |
Abstracting Faceted Execution. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan |
Limiting the impact of unreliable randomness in deployed security protocols. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Fila, Wojciech Widel |
Exploiting attack-defense trees to find an optimal set of countermeasures. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Muller, Dongxia Wang 0002, Jun Sun 0001 |
Provably Robust Decisions based on Potentially Malicious Sources of Information. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Bastys, Musard Balliu, Tamara Rezk, Andrei Sabelfeld |
Clockwork: Tracking Remote Timing Attacks. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden |
First-Order Logic for Flow-Limited Authorization. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schoepe, Toby Murray, Andrei Sabelfeld |
VERONICA: Expressive and Precise Concurrent Information Flow Security. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi |
Authentication in Key-Exchange: Definitions, Relations and Composition. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
Controller Synthesis for Hyperproperties. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fischer 0011, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, Eric Bodden |
PASAPTO: Policy-aware Security and Performance Trade-off Analysis-Computation on Encrypted Data with Restricted Leakage. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
Runtime Enforcement for Control System Security. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Romanelli 0002, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Optimal Obfuscation Mechanisms via Machine Learning. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta |
Language-Based Web Session Integrity. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Stéphanie Delaune, Solène Moreau |
A Method for Proving Unlinkability of Stateful Protocols. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Joseph Lallemand, Bogdan Warinschi |
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Coughlin, Graeme Smith 0001 |
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020 |
CSF |
2020 |
DBLP BibTeX RDF |
|
1 | Riccardo Focardi, Flaminia L. Luccio |
Automated Analysis of PUF-based Protocols. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, Chenyi Zhang |
Nontransitive Security Types for Coarse-grained Information Flow Control. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan |
Universal Unconditional Verifiability in E-Voting without Trusted Parties. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Haines, Johannes Müller 0001 |
SoK: Techniques for Verifiable Mix Nets. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Algehed, Cormac Flanagan |
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Foteini Baldimtsi, Varun Madathil, Alessandra Scafuro, Linfeng Zhou |
Anonymous Lottery In The Proof-of-Stake Setting. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aggelos Kiayias, Orfeas Stefanos Thyfronitis Litos |
A Composable Security Treatment of the Lightning Network. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo |
Securing Asynchronous Exceptions. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco |
Types and Abstract Interpretation for Authorization Hook Advice. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johan Bay, Aslan Askarov |
Reconciling progress-insensitive noninterference and declassification. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Alexandre Dang, Thomas P. Jensen |
Information-Flow Preservation in Compiler Optimisations. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria |
Deterministic Channel Design for Minimum Leakage. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Fila, Wojciech Widel |
Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stelios Tsampas 0001, Dominique Devriese, Frank Piessens |
Temporal Safety for Stack Allocated Memory on Capability Machines. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Christian W. Probst |
On the Meaning and Purpose of Attack Trees. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019 |
CSF |
2019 |
DBLP BibTeX RDF |
|
1 | Cas Cremers, Dennis Jackson |
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mestel |
Quantifying Information Flow in Interactive Systems. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Musard Balliu, Massimo Merro, Michele Pasqua |
Securing Cross-App Interactions in IoT Platforms. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer |
Formalizing Constructive Cryptography using CryptHOL. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Koutsos |
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo |
Re-Thinking Untraceability in the CryptoNote-Style Blockchain. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anitha Gollamudi, Stephen Chong, Owen Arden |
Information Flow Control for Distributed Trusted Execution Environments. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Künnemann, Ilkan Esiyok, Michael Backes 0001 |
Automated Verification of Accountability in Security Protocols. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Algehed, Alejandro Russo, Cormac Flanagan |
Optimising Faceted Secure Multi-Execution. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Drew Zagieboylo, G. Edward Suh, Andrew C. Myers |
Using Information Flow to Design an ISA that Controls Timing Channels. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes 0001 |
How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf |
Timing Leaks and Coarse-Grained Clocks. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Natasha Fernandes, Catuscia Palamidessi |
Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
Resource-Bounded Intruders in Denial of Service Attacks. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elaine Shi |
Analysis of Deterministic Longest-Chain Protocols. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ran Canetti, Alley Stoughton, Mayank Varia |
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub |
Symbolic Methods in Computational Cryptography Proofs. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timos Antonopoulos, Tachio Terauchi |
Games for Security Under Adaptive Adversaries. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Alicia Filipiak, Joseph Lallemand |
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yevhen Zolotavkin, Julián García, Joseph Liu |
Time-Dependent Decision-Making and Decentralization in Proof-of-Work Cryptocurrencies. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Lennart Haas, Hazem Torfah |
Canonical Representations of k-Safety Hyperproperties. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi |
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Abate, Roberto Blanco, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Jérémy Thibault |
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan |
A Formal Approach to Secure Speculation. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Vorreiter Pedersen, Aslan Askarov |
Static Enforcement of Security in Runtime Systems. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
The Complexity of Monitoring Hyperproperties. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha |
Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Vincent Laporte |
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time". |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire |
Formal Security Proof of CMAC and Its Variants. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Blanchet |
Composition Theorems for CryptoVerif and Application to TLS 1.3. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ilia Lebedev, Kyle Hogan, Srinivas Devadas |
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Véronique Cortier, Mathieu Turuani |
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Charlie Jacomme, Steve Kremer |
An Extensive Formal Analysis of Multi-factor Authentication Protocols. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | McKenna McCall, Hengrun Zhang 0002, Limin Jia 0001 |
Knowledge-Based Security of Dynamic Secrets for Reactive Programs. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow |
Symbolic Side-Channel Analysis for Probabilistic Programs. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Anna Pazii |
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Müller 0008, Helmut Seidl, Eugen Zalinescu |
Inductive Invariants for Noninterference in Multi-agent Workflows. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Audinot, Sophie Pinchinat, Barbara Kordy |
Guided Design of Attack Trees: A System-Based Approach. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub |
Computer-Aided Proofs for Multiparty Computation with Active Security. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse |
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Eugster, Giorgia Azzurra Marson, Bertram Poettering |
A Cryptographic Look at Multi-party Channels. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018 |
CSF |
2018 |
DBLP BibTeX RDF |
|
1 | Marc Fischlin, Christian Janson, Sogol Mazaheri |
Backdoored Hash Functions: Immunizing HMAC and HKDF. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park 0001, Yi Zhang, Andrei Stefanescu, Grigore Rosu |
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira 0002, Bernardo Portela |
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas V. Hess, Sebastian Mödersheim |
A Typing Result for Stateful Protocols. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Baiyu Li, Daniele Micciancio |
Symbolic Security of Garbled Circuits. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi |
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Chudnov, David A. Naumann |
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|