Search results for "CSFW"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Riccardo Pucella, Fred B. Schneider	Independence From Obfuscation: A Semantic Framework for Dive.	CSFW	2006	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher	Games for Controls.	CSFW	2006	DBLP DOI BibTeX RDF
1	Shai Rubin, Somesh Jha, Barton P. Miller	On the Completeness of Attack Mutation Algorithms.	CSFW	2006	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Coercion-Resistance and Receipt-Freeness in Electronic Voting.	CSFW	2006	DBLP DOI BibTeX RDF
1	Antonio Lain, Miranda Mowbray	Distributed Authorization Using Delegation with Acyclic Paths.	CSFW	2006	DBLP DOI BibTeX RDF
1	Stephen Chong, Andrew C. Myers	Decentralized Robustness.	CSFW	2006	DBLP DOI BibTeX RDF
1	Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
1	Jason Crampton, Keith M. Martin, Peter R. Wild	On Key Assignment for Hierarchical Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
1	Marieke Huisman, Pratik Worah, Kim Sunesen	A Temporal Logic Characterisation of Observational Determinism.	CSFW	2006	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Encoding Information Flow in Haskell.	CSFW	2006	DBLP DOI BibTeX RDF
1	Michael J. May, Carl A. Gunter, Insup Lee 0001	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.	CSFW	2006	DBLP DOI BibTeX RDF
1	Daniel Hedin, David Sands 0001	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
1	Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi	Computationally Sound Compositional Logic for Key Exchange Protocols.	CSFW	2006	DBLP DOI BibTeX RDF
1	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Stephen Tse	Verified Interoperable Implementations of Security Protocols.	CSFW	2006	DBLP DOI BibTeX RDF
1	Alejandro Russo, Andrei Sabelfeld	Securing Interaction between Threads and the Scheduler.	CSFW	2006	DBLP DOI BibTeX RDF
1	Hongbin Zhou, Simon N. Foley	A Framework for Establishing Decentralized Secure Coalitions.	CSFW	2006	DBLP DOI BibTeX RDF
1	Amit Sasturkar, Ping Yang 0002, Scott D. Stoller, C. R. Ramakrishnan 0001	Policy Analysis for Administrative Role Based Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	Types and Effects for Secure Service Orchestration.	CSFW	2006	DBLP DOI BibTeX RDF
1	Ralf Küsters	Simulation-Based Security with Inexhaustible Interactive Turing Machines.	CSFW	2006	DBLP DOI BibTeX RDF
1	Kim-Kwang Raymond Choo	Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting.	CSFW	2006	DBLP DOI BibTeX RDF
1		19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy	CSFW	2006	DBLP BibTeX RDF
1	Aybek Mukhamedov, Mark Dermot Ryan	Resolve-Impossibility for a Contract-Signing Protocol.	CSFW	2006	DBLP DOI BibTeX RDF
1	Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong	Information-Flow Security for Interactive Programs.	CSFW	2006	DBLP DOI BibTeX RDF
1	Deepak Garg 0001, Frank Pfenning	Non-Interference in Constructive Authorization Logic.	CSFW	2006	DBLP DOI BibTeX RDF
1	Nikhil Swamy, Michael Hicks 0001, Stephen Tse, Steve Zdancewic	Managing Policy Updates in Security-Typed Languages.	CSFW	2006	DBLP DOI BibTeX RDF
1	Lantian Zheng, Andrew C. Myers	End-to-End Availability Policies and Noninterference.	CSFW	2005	DBLP DOI BibTeX RDF
1		18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France	CSFW	2005	DBLP BibTeX RDF
1	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
1	Pedro Adão, Gergei Bana, Andre Scedrov	Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.	CSFW	2005	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani	Compositional Analysis of Contract Signing Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1		Committees.	CSFW	2005	DBLP DOI BibTeX RDF
1	Rob Delicata, Steve A. Schneider	Temporal Rank Functions for Forward Secrecy.	CSFW	2005	DBLP DOI BibTeX RDF
1	Ana Almeida Matos, Gérard Boudol	On Declassification and the Non-Disclosure Policy.	CSFW	2005	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, David Sands 0001	Dimensions and Principles of Declassification.	CSFW	2005	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	Enforcing Secure Service Composition.	CSFW	2005	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Practical Information-flow Control in Web-Based Information Systems.	CSFW	2005	DBLP DOI BibTeX RDF
1	Martín Abadi, Véronique Cortier	Deciding Knowledge in Security Protocols under (Many More) Equational Theories.	CSFW	2005	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Analysis of Typed Analyses of Authentication Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Catherine Meadows 0001, Dusko Pavlovic	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
1	William L. Harrison, James Hook	Achieving Information Flow Security through Precise Control of Effects.	CSFW	2005	DBLP DOI BibTeX RDF
1		Preface.	CSFW	2005	DBLP DOI BibTeX RDF
1	Ajay Mahimkar, Vitaly Shmatikov	Game-Based Analysis of Denial-of-Service Prevention Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Tian Zhao, John Tang Boyland	Type Annotations to Improve Stack-Based Access Control.	CSFW	2005	DBLP DOI BibTeX RDF
1	Stephen Chong, Andrew C. Myers	Language-Based Information Erasure.	CSFW	2005	DBLP DOI BibTeX RDF
1	Xavier Allamigeon, Bruno Blanchet	Reconstruction of Attacks against Cryptographic Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Markus Dürmuth	A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.	CSFW	2005	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Belief in Information Flow.	CSFW	2005	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification.	CSFW	2004	DBLP DOI BibTeX RDF
1	Kaijun Tan, Jason Crampton, Carl A. Gunter	The Consistency of Task-Based Authorization Constraints in Workflow Systems.	CSFW	2004	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Florent Jacquemard	A Theory of Dictionary Attacks and its Complexity.	CSFW	2004	DBLP DOI BibTeX RDF
1		17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA	CSFW	2004	DBLP BibTeX RDF
1	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Abstraction and Refinement in Protocol Derivation.	CSFW	2004	DBLP DOI BibTeX RDF
1	Magnus Almgren, Erland Jonsson	Using Active Learning in Intrusion Detection.	CSFW	2004	DBLP DOI BibTeX RDF	intrusion detection, active learning
1	Moritz Y. Becker, Peter Sewell	Cassandra: Flexible Trust Management, Applied to Electronic Health Records.	CSFW	2004	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Carla Piazza, Sabina Rossi	Modelling Downgrading in Information Flow Security.	CSFW	2004	DBLP DOI BibTeX RDF
1	Rohit Chadha, Steve Kremer, Andre Scedrov	Formal Analysis of Multi-Party Contract Signing.	CSFW	2004	DBLP DOI BibTeX RDF
1	Zhenyue Deng, Geoffrey Smith 0001	Lenient Array Operations for Practical Secure Information Flow.	CSFW	2004	DBLP DOI BibTeX RDF
1	Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk	Secure Information Flow by Self-Composition.	CSFW	2004	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Vicky Weissman	A Formal Foundation for XrML.	CSFW	2004	DBLP DOI BibTeX RDF
1	Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon 0001	From Stack Inspection to Access Control: A Security Analysis for Libraries.	CSFW	2004	DBLP DOI BibTeX RDF
1	Ran Canetti	Universally Composable Signature, Certification, and Authentication.	CSFW	2004	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Kaile Su	Symbolic Model Checking the Knowledge of the Dining Cryptographers.	CSFW	2004	DBLP DOI BibTeX RDF
1	Olivier Pereira, Jean-Jacques Quisquater	Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols.	CSFW	2004	DBLP DOI BibTeX RDF
1	Hubie Chen, Stephen Chong	Owned Policies for Information Security.	CSFW	2004	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
1	Nathan Whitehead, Martín Abadi, George C. Necula	By Reason and Authority: A System for Authorization of Proof-Carrying Code.	CSFW	2004	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Sylvain Gombault, Thierry Sans	Selecting Appropriate Counter-Measures in an Intrusion Detection Framework.	CSFW	2004	DBLP DOI BibTeX RDF	IDMEF, counter-measures, anti-correlation, Intrusion detection, correlation, response
1	Chiara Braghin, Daniele Gorla, Vladimiro Sassone	A Distributed Calculus for Ro^le-Based Access Control.	CSFW	2004	DBLP DOI BibTeX RDF
1	Tom Chothia, Dominic Duggan, Jan Vitek	Type-Based Distributed Access Control.	CSFW	2003	DBLP DOI BibTeX RDF
1	Catherine Meadows 0001	A Procedure for Verifying Security Against Type Confusion Attacks.	CSFW	2003	DBLP DOI BibTeX RDF
1	Geoffrey Smith 0001	Probabilistic Noninterference through Weak Probabilistic Bisimulation.	CSFW	2003	DBLP DOI BibTeX RDF
1	Ninghui Li, John C. Mitchell	Understanding SPKI/SDSI Using First-Order Logic.	CSFW	2003	DBLP DOI BibTeX RDF
1	Bogdan Warinschi	A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol.	CSFW	2003	DBLP DOI BibTeX RDF
1	Liqun Chen 0002, Caroline Kudla	Identity Based Authenticated Key Agreement Protocols from Pairings.	CSFW	2003	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Vicky Weissman	Using First-Order Logic to Reason about Policies.	CSFW	2003	DBLP DOI BibTeX RDF
1		16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA	CSFW	2003	DBLP BibTeX RDF
1	Jonathan C. Herzog	The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.	CSFW	2003	DBLP DOI BibTeX RDF
1	Anindya Banerjee 0001, David A. Naumann	Using Access Control for Secure Information Flow in a Java-like Language.	CSFW	2003	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Vitaly Shmatikov	Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.	CSFW	2003	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Kevin R. O'Neill	Anonymity and Information Hiding in Multiagent Systems.	CSFW	2003	DBLP DOI BibTeX RDF
1	Philippa J. Broadfoot, Gavin Lowe	On Distributed Security Transactions that Use Secure Transport Protocols.	CSFW	2003	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi	Secure Contexts for Confidential Data.	CSFW	2003	DBLP DOI BibTeX RDF
1	Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine	On Generalized Authorization Problems.	CSFW	2003	DBLP DOI BibTeX RDF
1	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	A Derivation System for Security Protocols and its Logical Formalization.	CSFW	2003	DBLP DOI BibTeX RDF
1	Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Automatic Validation of Protocol Narration.	CSFW	2003	DBLP DOI BibTeX RDF
1	Günter Karjoth, Matthias Schunter	A Privacy Policy Model for Enterprises.	CSFW	2002	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001, Alan Jeffrey	Types and Effects for Asymmetric Cryptographic Protocols.	CSFW	2002	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov	Probabilistic Analysis of Anonymity.	CSFW	2002	DBLP DOI BibTeX RDF	certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI
1	James Heather	Strand Spaces and Rank Functions: More than Distant Cousins.	CSFW	2002	DBLP DOI BibTeX RDF
1	François Pottier	A Simple View of Type-Secure Information Flow in the p-Calculus.	CSFW	2002	DBLP DOI BibTeX RDF
1	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Approximate Non-Interference.	CSFW	2002	DBLP DOI BibTeX RDF
1	Gavin Lowe	Quantifying Information Flow.	CSFW	2002	DBLP DOI BibTeX RDF
1	Philippa J. Broadfoot, A. W. Roscoe 0001	Capturing Parallel Attacks within the Data Independence Framework.	CSFW	2002	DBLP DOI BibTeX RDF
1	Levente Buttyán, Jean-Pierre Hubaux, Srdjan Capkun	A Formal Analysis of Syverson?s Rational Exchange Protocol.	CSFW	2002	DBLP DOI BibTeX RDF
1	Somesh Jha, Oleg Sheyner, Jeannette M. Wing	Two Formal Analys s of Attack Graphs.	CSFW	2002	DBLP DOI BibTeX RDF
1	Nicholas Tran	Hiding Functions and Computational Security of Image Watermarking Systems.	CSFW	2002	DBLP DOI BibTeX RDF
1	Steve Kremer, Jean-François Raskin	Game Analysis of Abuse-free Contract Signing.	CSFW	2002	DBLP DOI BibTeX RDF

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