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

• 2013
• 
  Martin Lester, Luke Ong, Max Schäfer:
  Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming. CSF 2013: 209-223
• 
  Pedro Adão, Riccardo Focardi, Flaminia L. Luccio:
  Type-Based Analysis of Generic Key Management APIs. CSF 2013: 97-111
• 
  Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi:
  AnoA: A Framework for Analyzing Anonymous Communication Protocols. CSF 2013: 163-178
• 
  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: 287-301
• 
  Frédéric Besson, Nataliia Bielova, Thomas P. Jensen:
  Hybrid Information Flow Monitoring against Web Tracking. CSF 2013: 240-254
• 
  Florian Böhl, Dominique Unruh:
  Symbolic Universal Composability. CSF 2013: 257-271
• 
  Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang:
  A Trust Framework for Evaluating GNSS Signal Integrity. CSF 2013: 179-192
• 
  Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker:
  Probabilistic Point-to-Point Information Leakage. CSF 2013: 193-205
• 
  Fabienne Eigner, Matteo Maffei:
  Differential Privacy by Typing in Security Protocols. CSF 2013: 272-286
• 
  Luminous Fennell, Peter Thiemann:
  Gradual Security Typing with References. CSF 2013: 224-239
• 
  Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi:
  Cryptographically Enforced RBAC. CSF 2013: 115-129
• 
  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: 145-160
• 
  Chang Liu, Michael Hicks, Elaine Shi:
  Memory Trace Oblivious Program Execution. CSF 2013: 51-65
• 
  Matteo Maffei, Kim Pecina, Manuel Reinert:
  Security and Privacy by Declarative Design. CSF 2013: 81-96
• 
  Benoît Montagu, Benjamin C. Pierce, Randy Pollack:
  A Theory of Information-Flow Labels. CSF 2013: 3-17
• 
  Jérémy Planul, John C. Mitchell:
  Oblivious Program Execution and Path-Sensitive Non-interference. CSF 2013: 66-80
• 
  Willard Rafnsson, Andrei Sabelfeld:
  Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. CSF 2013: 33-48
• 
  Mingsheng Ying, Yuan Feng, Nengkun Yu:
  Quantum Information-Flow Security: Noninterference and Access Control. CSF 2013: 130-144
• 
  Dante Zanarini, Mauro Jaskelioff, Alejandro Russo:
  Precise Enforcement of Confidentiality for Reactive Systems. CSF 2013: 18-32
• 
  2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5031-2 [contents]