Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David A. Basin, Sasa Radomirovic, Lara Schmid |
Alethea: A Provably Secure Random Sample Voting Protocol. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hongxu Chen 0001, Alwen Tiu, Zhiwu Xu 0001, Yang Liu 0003 |
A Permission-Dependent Type System for Secure Information Flow Analysis. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marc Fischlin, Sogol Mazaheri |
Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Rajani, Deepak Garg 0001 |
Types for Information Flow Control: Labeling Granularity and Semantic Models. |
CSF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Marco Squarcina |
Run-Time Attack Detection in Cryptographic APIs. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Guarnieri, Srdjan Marinovic, David A. Basin |
Securing Databases from Probabilistic Inference. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Comon, Adrien Koutsos |
Formal Computational Unlinkability Proofs of RFID Protocols. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Blanchet |
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Ludovic Robin |
Formal Verification of Protocols Based on Short Authenticated Strings. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan Camenisch, Anja Lehmann, Gregory Neven, Kai Samelin |
UC-Secure Non-interactive Public-Key Encryption. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | M. H. R. Khouzani, Pasquale Malacaria |
Leakage-Minimal Design: Universality, Limitations, and Applications. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò 0001 |
A Formal Approach to Cyber-Physical Attacks. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei |
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Vassena, Joachim Breitner, Alejandro Russo |
Securing Concurrent Lazy Programs Against Information Leakage. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Véronique Cortier, Bogdan Warinschi |
Secure Composition of PKIs with Public Key Protocols. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Pass, Elaine Shi |
Rethinking Large-Scale Consensus. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Patrignani, Deepak Garg 0001 |
Secure Compilation and Hyperproperty Preservation. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang 0001 |
On the Protection of Private Information in Machine Learning Systems: Two Recent Approches. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Li Zhou, Mingsheng Ying |
Differential Privacy in Quantum Computation. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Viktor Hess, Sebastian Mödersheim |
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Boldyreva, Shan Chen, Pierre-Alain Dupont, David Pointcheval |
Human Computing for Handling Strong Corruptions in Authenticated Key Exchange. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017 |
CSF |
2017 |
DBLP BibTeX RDF |
|
1 | Michael Backes 0001, Manuel Gomez-Rodriguez, Praveen Manoharan 0001, Bartlomiej Surma |
Reconciling Privacy and Utility in Continuous-Time Diffusion Networks. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gazeau, Tom Chothia, Dominic Duggan |
Types for Location and Data Security in Cloud Environments. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Mironov |
Rényi Differential Privacy. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hyoukjun Kwon, William Harris, Hadi Esmaeilzadeh |
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alley Stoughton, Mayank Varia |
Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peixuan Li, Danfeng Zhang |
Towards a Flow- and Path-Sensitive Information Flow Analysis. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fett, Ralf Küsters, Guido Schmitz |
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer |
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu |
Verified Translation Validation of Static Analyses. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan |
Synthesis of Adaptive Side-Channel Attacks. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ran Canetti, Kyle Hogan, Aanchal Malhotra, Mayank Varia |
A Universally Composable Treatment of Network Time. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan 0001 |
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tiffany Bao, Yan Shoshitaishvili, Ruoyu Wang 0001, Christopher Kruegel, Giovanni Vigna, David Brumley |
How Shall We Play a Game?: A Game-theoretical Model for Cyber-warfare Games. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Per A. Hallgren, Claudio Orlandi, Andrei Sabelfeld |
PrivatePool: Privacy-Preserving Ridesharing. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David M. Smith, Geoffrey Smith 0001 |
Tight Bounds on Information Leakage from Repeated Independent Runs. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele D'Osualdo, Luke Ong, Alwen Tiu |
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Antoine Dallon, Stéphanie Delaune |
SAT-Equiv: An Efficient Tool for Equivalence Properties. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio |
Localizing Firewall Security Policies. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Patrignani, Dominique Devriese, Frank Piessens |
On Modular and Fully-Abstract Compilation. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás E. Bordenabe, Geoffrey Smith 0001 |
Correlated Secrets in Quantitative Information Flow. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi |
Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel |
Modular Verification for Computer Security. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Küsters, Johannes Müller 0001, Enrico Scapin, Tomasz Truderung |
sElect: A Lightweight Verifiable Remote Voting System. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan |
A Verified Extensible Library of Elliptic Curves. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Úlfar Erlingsson |
Data-Driven Software Security: Models and Methods. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria |
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | M. H. R. Khouzani, Pasquale Malacaria |
Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Søren Debois, Thomas T. Hildebrandt |
In the Nick of Time: Proactive Prevention of Obligation Violations. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0001, Matthew Fredrikson, Somesh Jha, Jeffrey F. Naughton |
A Methodology for Formalizing Model-Inversion Attacks. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce |
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Chantal Keller, Vincent Laporte |
A Certified Compiler for Verifiable Computing. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Del Tedesco, David Sands 0001, Alejandro Russo |
Fault-Resilient Non-interference. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith 0001 |
Axioms for Information Leakage. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zaruhi Aslanyan, Flemming Nielson, David Parker 0001 |
Quantitative Verification and Synthesis of Attack-Defence Scenarios. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker |
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ross J. Anderson |
Are the Real Limits to Scale a Matter of Science, or Engineering, or of Something Else? (Abstract only). |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Blanchet, Ben Smyth |
Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremiah Blocki, Anupam Datta |
CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Greiner, Daniel Grahl |
Non-interference with What-Declassification in Component-Based Systems. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Nataliia Bielova, Thomas P. Jensen |
Hybrid Monitoring of Attacker Knowledge. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Scerri, Ryan Stanley-Oakes |
Analysis of Key Wrapping APIs: Generic Policies, Computational Security. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
Access Control Synthesis for Physical Spaces. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shreya Agrawal, Borzoo Bonakdarpour |
Runtime Verification of k-Safety Hyperproperties in HyperLTL. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mounir Assaf, David A. Naumann |
Calculational Design of Information Flow Monitors. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Sasa Radomirovic, Lara Schmid |
Modeling Human Errors in Security Protocols. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt |
On Post-compromise Security. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Owen Arden, Andrew C. Myers |
A Calculus for Flow-Limited Authorization. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergiu Costea, Bogdan Warinschi |
Secure Software Licensing: Models, Constructions, and Proofs. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei |
Micro-policies for Web Session Security. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah |
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016 |
CSF |
2016 |
DBLP BibTeX RDF |
|
1 | Vineet Rajani, Deepak Garg 0001, Tamara Rezk |
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Owen Arden, Jed Liu, Andrew C. Myers |
Flow-Limited Authorization. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr |
A Hybrid Approach for Proving Noninterference of Java Programs. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong |
Cryptographic Enforcement of Language-Based Information Erasure. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Broberg, Bart van Delft, David Sands 0001 |
The Anatomy and Facets of Dynamic Policies. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Rajani, Abhishek Bichhawat, Deepak Garg 0001, Christian Hammer 0001 |
Information Flow Control for Event Handling and the DOM in Web Browsers. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anna Lisa Ferrara, Georg Fuchsbauer, Bin Liu, Bogdan Warinschi |
Policy Privacy in Cryptographic Access Control. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing |
A Methodology for Information Flow Experiments. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
Compositional Typed Analysis of ARBAC Policies. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Pettai, Peeter Laud |
Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mordechai Guri, Matan Monitz, Yisroel Mirski, Yuval Elovici |
BitWhisper: Covert Signaling Channel between Air-Gapped Computers Using Thermal Manipulations. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kui Xu 0002, Danfeng (Daphne) Yao, Barbara G. Ryder, Ke Tian |
Probabilistic Program Modeling for High-Precision Anomaly Classification. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hedin, Luciano Bello, Andrei Sabelfeld |
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Roberto Carbone, Gabriele Costa 0001, Alessio Merlo |
Android Permissions Unleashed. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Nuñez 0001, Isaac Agudo, Javier López 0001 |
A Parametric Family of Attack Models for Proxy Re-encryption. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christian Matt 0002, Ueli Maurer |
A Definitional Framework for Functional Encryption. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | William C. Garrison III, Adam J. Lee |
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel |
Analyzing First-Order Role Based Access Control. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schoepe, Andrei Sabelfeld |
Understanding and Enforcing Opacity. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gurchetan S. Grewal, Mark Dermot Ryan, Liqun Chen 0002, Michael R. Clarkson |
Du-Vote: Remote Electronic Voting with Untrusted Computers. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aslan Askarov, Stephen Chong, Heiko Mantel |
Hybrid Monitors for Concurrent Noninterference. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Datta, Deepak Garg 0001, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha |
Program Actions as Actual Causes: A Building Block for Accountability. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Limin Jia 0001, Shayak Sen, Deepak Garg 0001, Anupam Datta |
A Logic of Programs with Interface-Confined Code. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Goran Doychev, Boris Köpf |
Rational Protection against Timing Attacks. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Michael W. Hicks, Luca Viganò 0001 (eds.) |
IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015 |
CSF |
2015 |
DBLP BibTeX RDF |
|
1 | David A. Basin, Sasa Radomirovic, Michael Schläpfer |
A Complete Characterization of Secure Human-Server Communication. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michela Chessa, Jens Grossklags, Patrick Loiseau |
A Game-Theoretic Study on Non-monetary Incentives in Data Analytics Projects with Privacy Implications. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|