• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 2014
• 
  Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio:
  Mignis: A Semantic Based Tool for Firewall Configuration. CSF 2014: 351-365
• 
  Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub:
  Certified Synthesis of Efficient Batch Verifiers. CSF 2014: 153-165
• 
  Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
  Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF 2014: 308-322
• 
  Michael Backes, Praveen Manoharan, Esfandiar Mohammadi:
  TUC: Time-Sensitive and Modular Analysis of Anonymous Communication. CSF 2014: 383-397
• 
  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: 411-424
• 
  David A. Basin, Cas Cremers, Marko Horvat:
  Actor Key Compromise: Consequences and Countermeasures. CSF 2014: 244-258
• 
  Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen:
  From Input Private to Universally Composable Secure Multi-party Computation Primitives. CSF 2014: 184-198
• 
  Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta:
  Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF 2014: 366-380
• 
  Pablo Buiras, Deian Stefan, Alejandro Russo:
  On Dynamic Flow-Sensitive Floating-Label Systems. CSF 2014: 65-79
• 
  Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn:
  Malleable Signatures: New Definitions and Delegatable Anonymous Credentials. CSF 2014: 199-213
• 
  Andrey Chudnov, George Kuan, David A. Naumann:
  Information Flow Monitoring as Abstract Interpretation for Relational Logic. CSF 2014: 48-62
• 
  Jason Crampton, Alexandre Pinto:
  Attribute-Based Encryption for Access Control Using Elementary Operations. CSF 2014: 125-139
• 
  Chris Culnane, Steve A. Schneider:
  A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. CSF 2014: 169-183
• 
  Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong:
  Declarative Policies for Capability Control. CSF 2014: 3-17
• 
  Daniel J. Dougherty, Joshua D. Guttman:
  Decidability for Lightweight Diffie-Hellman Protocols. CSF 2014: 217-231
• 
  Jens Grossklags, David Reitter:
  How Task Familiarity and Cognitive Predispositions Impact Behavior in a Security Game of Timing. CSF 2014: 111-122
• 
  Marian Harbach, Sascha Fahl, Matthew Smith:
  Who's Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness. CSF 2014: 97-110
• 
  Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth:
  Differential Privacy: An Economic Method for Choosing Epsilon. CSF 2014: 398-410
• 
  Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner:
  Certificates for Verifiable Forensics. CSF 2014: 33-47
• 
  Benjamin Johnson, Aron Laszka, Jens Grossklags:
  The Complexity of Estimating Systematic Risk in Networks. CSF 2014: 325-336
• 
  Joshua A. Kroll, Gordon Stewart, Andrew W. Appel:
  Portable Software Fault Isolation. CSF 2014: 18-32
• 
  Moses D. Liskov, F. Javier Thayer:
  Modeling Diffie-Hellman Derivability for Automated Analysis. CSF 2014: 232-243
• 
  Jia Liu, Mark Dermot Ryan, Liqun Chen:
  Balancing Societal Security and Individual Privacy: Accountable Escrow System. CSF 2014: 427-440
• 
  Alex J. Malozemoff, Jonathan Katz, Matthew D. Green:
  Automated Analysis and Synthesis of Block-Cipher Modes of Operation. CSF 2014: 140-152
• 
  Heiko Mantel, Matthias Perner, Jens Sauer:
  Noninterference under Weak Memory Models. CSF 2014: 80-94
• 
  Sebastian Mödersheim, Georgios Katsoris:
  A Sound Abstraction of the Parsing Problem. CSF 2014: 259-273
• 
  Willard Rafnsson, Andrei Sabelfeld:
  Compositional Information-Flow Security for Interactive Systems. CSF 2014: 277-292
• 
  Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk:
  Stateful Declassification Policies for Event-Driven Programs. CSF 2014: 293-307
• 
  Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
  Automated Generation of Attack Trees. CSF 2014: 337-350
• 
  IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4290-9 [contents]