Search results for "CSF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	M. H. R. Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa	Picking vs. Guessing Secrets: A Game-Theoretic Analysis.	CSF	2015	DBLP DOI BibTeX RDF
1	Edelmira Pasarella, Jorge Lobo 0001	Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework.	CSF	2015	DBLP DOI BibTeX RDF
1	Rémy Chrétien, Véronique Cortier, Stéphanie Delaune	Decidability of Trace Equivalence for Protocols with Nonces.	CSF	2015	DBLP DOI BibTeX RDF
1	Adam Petcher, Greg Morrisett	A Mechanized Proof of Security for Searchable Symmetric Encryption.	CSF	2015	DBLP DOI BibTeX RDF
1	Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson	Set-Pi: Set Membership p-Calculus.	CSF	2015	DBLP DOI BibTeX RDF
1	Hoa Ngo, Jong Kim 0001	Location Privacy via Differential Private Perturbation of Cloaking Area.	CSF	2015	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina	Symbolic Malleable Zero-Knowledge Proofs.	CSF	2015	DBLP DOI BibTeX RDF
1	Christian Müller 0008, Máté Kovács, Helmut Seidl	An Analysis of Universal Information Flow Based on Self-Composition.	CSF	2015	DBLP DOI BibTeX RDF
1	Joshua D. Guttman, Paul D. Rowe	A Cut Principle for Information Flow.	CSF	2015	DBLP DOI BibTeX RDF
1	Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor	On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining.	CSF	2015	DBLP DOI BibTeX RDF
1	Andrey Chudnov, George Kuan, David A. Naumann	Information Flow Monitoring as Abstract Interpretation for Relational Logic.	CSF	2014	DBLP DOI BibTeX RDF
1	Moses D. Liskov, F. Javier Thayer	Modeling Diffie-Hellman Derivability for Automated Analysis.	CSF	2014	DBLP DOI BibTeX RDF
1	Alex J. Malozemoff, Jonathan Katz, Matthew D. Green	Automated Analysis and Synthesis of Block-Cipher Modes of Operation.	CSF	2014	DBLP DOI BibTeX RDF
1	Chris Culnane, Steve A. Schneider	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems.	CSF	2014	DBLP DOI BibTeX RDF
1	Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub	Proving Differential Privacy in Hoare Logic.	CSF	2014	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta	Provably Sound Browser-Based Enforcement of Web Session Integrity.	CSF	2014	DBLP DOI BibTeX RDF
1	Joshua A. Kroll, Gordon Stewart 0001, Andrew W. Appel	Portable Software Fault Isolation.	CSF	2014	DBLP DOI BibTeX RDF
1	Sebastian Mödersheim, Georgios Katsoris	A Sound Abstraction of the Parsing Problem.	CSF	2014	DBLP DOI BibTeX RDF
1	Daniel J. Dougherty, Joshua D. Guttman	Decidability for Lightweight Diffie-Hellman Protocols.	CSF	2014	DBLP DOI BibTeX RDF
1	Benjamin Johnson 0001, Aron Laszka, Jens Grossklags	The Complexity of Estimating Systematic Risk in Networks.	CSF	2014	DBLP DOI BibTeX RDF
1	Jens Grossklags, David Reitter	How Task Familiarity and Cognitive Predispositions Impact Behavior in a Security Game of Timing.	CSF	2014	DBLP DOI BibTeX RDF
1	Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen	From Input Private to Universally Composable Secure Multi-party Computation Primitives.	CSF	2014	DBLP DOI BibTeX RDF
1	Jia Liu 0003, Mark Dermot Ryan, Liqun Chen 0002	Balancing Societal Security and Individual Privacy: Accountable Escrow System.	CSF	2014	DBLP DOI BibTeX RDF
1	Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith 0001	Additive and Multiplicative Notions of Leakage, and Their Capacities.	CSF	2014	DBLP DOI BibTeX RDF
1	Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub	Certified Synthesis of Efficient Batch Verifiers.	CSF	2014	DBLP DOI BibTeX RDF
1		IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014	CSF	2014	DBLP BibTeX RDF
1	Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio	Mignis: A Semantic Based Tool for Firewall Configuration.	CSF	2014	DBLP DOI BibTeX RDF
1	Roberto Vigo, Flemming Nielson, Hanne Riis Nielson	Automated Generation of Attack Trees.	CSF	2014	DBLP DOI BibTeX RDF
1	David A. Basin, Cas Cremers, Marko Horvat 0002	Actor Key Compromise: Consequences and Countermeasures.	CSF	2014	DBLP DOI BibTeX RDF
1	Pablo Buiras, Deian Stefan, Alejandro Russo	On Dynamic Flow-Sensitive Floating-Label Systems.	CSF	2014	DBLP DOI BibTeX RDF
1	Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk	Stateful Declassification Policies for Event-Driven Programs.	CSF	2014	DBLP DOI BibTeX RDF
1	Jason Crampton, Alexandre Pinto	Attribute-Based Encryption for Access Control Using Elementary Operations.	CSF	2014	DBLP DOI BibTeX RDF
1	Heiko Mantel, Matthias Perner, Jens Sauer	Noninterference under Weak Memory Models.	CSF	2014	DBLP DOI BibTeX RDF
1	Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth 0001	Differential Privacy: An Economic Method for Choosing Epsilon.	CSF	2014	DBLP DOI BibTeX RDF
1	Willard Rafnsson, Andrei Sabelfeld	Compositional Information-Flow Security for Interactive Systems.	CSF	2014	DBLP DOI BibTeX RDF
1	Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner	Certificates for Verifiable Forensics.	CSF	2014	DBLP DOI BibTeX RDF
1	Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials.	CSF	2014	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Praveen Manoharan 0001, Esfandiar Mohammadi	TUC: Time-Sensitive and Modular Analysis of Anonymous Communication.	CSF	2014	DBLP DOI BibTeX RDF
1	Marian Harbach, Sascha Fahl, Matthew Smith 0001	Who's Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness.	CSF	2014	DBLP DOI BibTeX RDF
1	Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong	Declarative Policies for Capability Control.	CSF	2014	DBLP DOI BibTeX RDF
1	Martin Lester 0001, Luke Ong, Max Schäfer	Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming.	CSF	2013	DBLP DOI BibTeX RDF
1	Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang 0001	A Trust Framework for Evaluating GNSS Signal Integrity.	CSF	2013	DBLP DOI BibTeX RDF
1	Willard Rafnsson, Andrei Sabelfeld	Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent.	CSF	2013	DBLP DOI BibTeX RDF
1	Pedro Adão, Riccardo Focardi, Flaminia L. Luccio	Type-Based Analysis of Generic Key Management APIs.	CSF	2013	DBLP DOI BibTeX RDF
1	Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin	Verified Computational Differential Privacy with Applications to Smart Metering.	CSF	2013	DBLP DOI BibTeX RDF
1	Florian Böhl, Dominique Unruh	Symbolic Universal Composability.	CSF	2013	DBLP DOI BibTeX RDF
1	Matteo Maffei, Kim Pecina, Manuel Reinert	Security and Privacy by Declarative Design.	CSF	2013	DBLP DOI BibTeX RDF
1	Mingsheng Ying, Yuan Feng 0001, Nengkun Yu	Quantum Information-Flow Security: Noninterference and Access Control.	CSF	2013	DBLP DOI BibTeX RDF
1	Luminous Fennell, Peter Thiemann 0001	Gradual Security Typing with References.	CSF	2013	DBLP DOI BibTeX RDF
1	Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck	Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.	CSF	2013	DBLP DOI BibTeX RDF
1	Dante Zanarini, Mauro Jaskelioff, Alejandro Russo	Precise Enforcement of Confidentiality for Reactive Systems.	CSF	2013	DBLP DOI BibTeX RDF
1		2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013	CSF	2013	DBLP BibTeX RDF
1	Jérémy Planul, John C. Mitchell	Oblivious Program Execution and Path-Sensitive Non-interference.	CSF	2013	DBLP DOI BibTeX RDF
1	Benoît Montagu, Benjamin C. Pierce, Randy Pollack	A Theory of Information-Flow Labels.	CSF	2013	DBLP DOI BibTeX RDF
1	Tom Chothia, Yusuke Kawamoto 0001, Chris Novakovic, David Parker 0001	Probabilistic Point-to-Point Information Leakage.	CSF	2013	DBLP DOI BibTeX RDF
1	Fabienne Eigner, Matteo Maffei	Differential Privacy by Typing in Security Protocols.	CSF	2013	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Aniket Kate, Praveen Manoharan 0001, Sebastian Meiser 0001, Esfandiar Mohammadi	AnoA: A Framework for Analyzing Anonymous Communication Protocols.	CSF	2013	DBLP DOI BibTeX RDF
1	Frédéric Besson, Nataliia Bielova, Thomas P. Jensen	Hybrid Information Flow Monitoring against Web Tracking.	CSF	2013	DBLP DOI BibTeX RDF
1	Chang Liu 0021, Michael Hicks 0001, Elaine Shi	Memory Trace Oblivious Program Execution.	CSF	2013	DBLP DOI BibTeX RDF
1	Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi	Cryptographically Enforced RBAC.	CSF	2013	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Juergen Graf	A Framework for the Cryptographic Verification of Java-Like Programs.	CSF	2012	DBLP DOI BibTeX RDF
1	Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis	Discovering Concrete Attacks on Website Authorization by Formal Analysis.	CSF	2012	DBLP DOI BibTeX RDF
1	John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman	Information-Flow Control for Programming on Encrypted Data.	CSF	2012	DBLP DOI BibTeX RDF
1	Valerio Genovese, Deepak Garg 0001, Daniele Rispoli	Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.	CSF	2012	DBLP DOI BibTeX RDF
1	Bruno Blanchet	Automatically Verified Mechanized Proof of One-Encryption Key Exchange.	CSF	2012	DBLP DOI BibTeX RDF
1	Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech	Generic Indifferentiability Proofs of Hash Designs.	CSF	2012	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi	Provably Secure and Practical Onion Routing.	CSF	2012	DBLP DOI BibTeX RDF
1	Myrto Arapinis, Vincent Cheval, Stéphanie Delaune	Verifying Privacy-Type Properties in a Modular Way.	CSF	2012	DBLP DOI BibTeX RDF
1	Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Frank Piessens	Secure Compilation to Modern Processors.	CSF	2012	DBLP DOI BibTeX RDF
1	Alisa Pankova, Peeter Laud	Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings.	CSF	2012	DBLP DOI BibTeX RDF
1	Pasquale Malacaria, Fabrizio Smeraldi	The Thermodynamics of Confidentiality.	CSF	2012	DBLP DOI BibTeX RDF
1	Daniel Hedin, Andrei Sabelfeld	Information-Flow Security for a Core of JavaScript.	CSF	2012	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina	Gran: Model Checking Grsecurity RBAC Policies.	CSF	2012	DBLP DOI BibTeX RDF
1	Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Geoffrey Smith 0001	Measuring Information Leakage Using Generalized Gain Functions.	CSF	2012	DBLP DOI BibTeX RDF
1	Christoph Sprenger 0001, David A. Basin	Refining Key Establishment.	CSF	2012	DBLP DOI BibTeX RDF
1	Jeffrey A. Vaughan, Todd D. Millstein	Secure Information Flow for Concurrent Programs under Total Store Order.	CSF	2012	DBLP DOI BibTeX RDF
1	Musard Balliu, Mads Dam, Gurvan Le Guernic	ENCoVer: Symbolic Exploration for Information Flow Security.	CSF	2012	DBLP DOI BibTeX RDF
1	Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001	Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization.	CSF	2012	DBLP DOI BibTeX RDF
1	Aslan Askarov, Stephen Chong	Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies.	CSF	2012	DBLP DOI BibTeX RDF
1	Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato	Security Analysis of Role-Based Access Control through Program Verification.	CSF	2012	DBLP DOI BibTeX RDF
1	Stephen Chong (eds.)	25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012	CSF	2012	DBLP BibTeX RDF
1	Zhengqin Luo, Tamara Rezk	Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication.	CSF	2012	DBLP DOI BibTeX RDF
1	Benedikt Schmidt 0002, Simon Meier, Cas Cremers, David A. Basin	Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.	CSF	2012	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin	Verified Security of Merkle-Damgård.	CSF	2012	DBLP DOI BibTeX RDF
1	Barbara Kordy, Sasa Radomirovic	Constructing Optimistic Multi-party Contract Signing Protocols.	CSF	2012	DBLP DOI BibTeX RDF
1	Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld	Securing Interactive Programs.	CSF	2012	DBLP DOI BibTeX RDF
1	Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker 0001, Benjamin G. Zorn	Modular Protections against Non-control Data Attacks.	CSF	2011	DBLP DOI BibTeX RDF	non-control data attack, control-flow integrity, frame rule, data isolation, data integrity, Hoare logic, language-based security
1	Gilles Barthe, Boris Köpf	Information-Theoretic Bounds for Differentially Private Mechanisms.	CSF	2011	DBLP DOI BibTeX RDF	Quantitative Information-Flow, Information Theory, Differential Privacy
1	Tom Chothia, Apratim Guha	A Statistical Test for Information Leaks Using Continuous Mutual Information.	CSF	2011	DBLP DOI BibTeX RDF	Continuous Mutual Information, Information Theory, Statistics, Information leakage, e-Passport
1	Heiko Mantel, David Sands 0001, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
1		Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011	CSF	2011	DBLP BibTeX RDF
1	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel	Formal Analysis of Protocols Based on TPM State Registers.	CSF	2011	DBLP DOI BibTeX RDF	formal verification, TPM
1	Myrto Arapinis, Eike Ritter, Mark Dermot Ryan	StatVerif: Verification of Stateful Processes.	CSF	2011	DBLP DOI BibTeX RDF
1	François Dupressoir, Andrew D. Gordon 0001, Jan Jürjens, David A. Naumann	Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.	CSF	2011	DBLP DOI BibTeX RDF
1	James Cheney	A Formal Framework for Provenance Security.	CSF	2011	DBLP DOI BibTeX RDF	security, semantics, provenance
1	Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger	The Complexity of Quantitative Information Flow Problems.	CSF	2011	DBLP DOI BibTeX RDF	quantitative information flow, computational complexity, verification, synthesis
1	David A. Basin, Samuel J. Burri, Günter Karjoth	Obstruction-Free Authorization Enforcement: Aligning Security with Business Objectives.	CSF	2011	DBLP DOI BibTeX RDF	Access control, workflow, Separation of Duty, authorization constraint
1	Piotr Mardziel, Stephen Magill, Michael Hicks 0001, Mudhakar Srivatsa	Dynamic Enforcement of Knowledge-Based Security Policies.	CSF	2011	DBLP DOI BibTeX RDF	probabilistic polyhedron, knowledge-based security, privacy, abstract interpretation
1	Scott Moore, Stephen Chong	Static Analysis for Efficient Hybrid Information-Flow Control.	CSF	2011	DBLP DOI BibTeX RDF	hybrid information-flow monitors, dynamic information-flow monitors, information-flow control
1	Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha	Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection.	CSF	2011	DBLP DOI BibTeX RDF	Auditing Learning Game Model Regret Minimization Economics

Publications at "CSF"( http://dblp.L3S.de/Venues/CSF )