• 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 27 matches

• 2007
• 
  Alessandro Armando, Roberto Carbone, Luca Compagna:
  LTL Model Checking for Security Protocols. CSF 2007: 385-396
• 
  Michael Backes, Agostino Cortesi, Matteo Maffei:
  Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369
• 
  Michael Backes, Birgit Pfitzmann, Andre Scedrov:
  Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. CSF 2007: 112-124
• 
  Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram:
  Privacy and Utility in Business Processes. CSF 2007: 279-294
• 
  Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon:
  Design and Semantics of a Decentralized Authorization Language. CSF 2007: 3-15
• 
  Lennart Beringer, Martin Hofmann:
  Secure information flow and program logics. CSF 2007: 233-248
• 
  Bruno Blanchet:
  Computationally Sound Mechanized Proofs of Correspondence Assertions. CSF 2007: 97-111
• 
  David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song:
  Creating Vulnerability Signatures Using Weakest Preconditions. CSF 2007: 311-325
• 
  Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira:
  Compositional Security for Task-PIOAs. CSF 2007: 125-139
• 
  Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
  Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354
• 
  Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
  Do As I SaY! Programmatic Access Control with Explicit Identities. CSF 2007: 16-30
• 
  Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer:
  Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186
• 
  Véronique Cortier, Stéphanie Delaune, Graham Steel:
  A Formal Theory of Key Conjuring. CSF 2007: 79-96
• 
  Cédric Fournet, Andy Gordon, Sergio Maffeis:
  A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48
• 
  Sibylle B. Fröschle:
  The Insecurity Problem: Tackling Unbounded Data. CSF 2007: 370-384
• 
  Alwyn Goodloe, Carl A. Gunter:
  Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78
• 
  Gurvan Le Guernic:
  Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232
• 
  Prateek Gupta, Vitaly Shmatikov:
  Security Analysis of Voice-over-IP Protocols. CSF 2007: 49-63
• 
  James Heather:
  Implementing STV securely in Pret a Voter. CSF 2007: 157-169
• 
  Max I. Kanovich, Paul D. Rowe, Andre Scedrov:
  Collaborative Planning With Privacy. CSF 2007: 265-278
• 
  Heiko Mantel, Henning Sudbrock:
  Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF 2007: 326-340
• 
  Miranda Mowbray, Dieter Gollmann:
  Electing the Doge of Venice: Analysis of a 13th Century Protocol. CSF 2007: 295-310
• 
  Hanne Riis Nielson, Flemming Nielson:
  A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
• 
  Roberto Segala, Andrea Turrini:
  Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF 2007: 140-156
• 
  Paritosh Shroff, Scott F. Smith, Mark Thober:
  Dynamic Dependency Monitoring to Secure Information Flow. CSF 2007: 203-217
• 
  Ta-Chung Tsai, Alejandro Russo, John Hughes:
  A Library for Secure Multi-threaded Information Flow in Haskell. CSF 2007: 187-202
• 
  20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. IEEE Computer Society 2007, ISBN 0-7695-2819-8 [contents]