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

• 2016
• 
  Pauline Anthonysamy, Matthew Edwards, Christian Weichel, Awais Rashid:
  Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language. ESSoS 2016: 233-250
• 
  Bernhard J. Berger, Karsten Sohr, Rainer Koschke:
  Automatically Extracting Threats from Extended Data Flow Diagrams. ESSoS 2016: 56-71
• 
  Jasper Bogaerts, Bert Lagaisse, Wouter Joosen:
  Idea: Supporting Policy-Based Access Control on Database Systems. ESSoS 2016: 251-259
• 
  Achim D. Brucker, Michael Herzberg:
  On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation. ESSoS 2016: 72-88
• 
  Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci:
  On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. ESSoS 2016: 190-206
• 
  Mohammad Torabi Dashti, David A. Basin:
  Security Testing Beyond Functional Tests. ESSoS 2016: 1-19
• 
  Benjamin Fogel, Shane Farmer, Hamza Alkofahi, Anthony Skjellum, Munawar Hafiz:
  POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities. ESSoS 2016: 122-137
• 
  Andreas Follner, Alexandre Bartel, Eric Bodden:
  Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. ESSoS 2016: 155-172
• 
  Tom van Goethem, Wout Scheepers, Davy Preuveneers, Wouter Joosen:
  Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication. ESSoS 2016: 106-121
• 
  Quanlong Guan, Heqing Huang, Weiqi Luo, Sencun Zhu:
  Semantics-Based Repackaging Detection for Mobile Apps. ESSoS 2016: 89-105
• 
  Joseph Hallett, David Aspinall:
  AppPAL for Android - Capturing and Checking Mobile App Policies. ESSoS 2016: 216-232
• 
  Enrico Lovat, Martín Ochoa, Alexander Pretschner:
  Sound and Precise Cross-Layer Data Flow Tracking. ESSoS 2016: 38-55
• 
  Eric Rothstein Morris, Joachim Posegga:
  Idea: Enforcing Security Properties by Solving Behavioural Equations. ESSoS 2016: 260-268
• 
  Mathias Payer:
  HexPADS: A Platform to Detect "Stealth" Attacks. ESSoS 2016: 138-154
• 
  Willard Rafnsson, Deepak Garg, Andrei Sabelfeld:
  Progress-Sensitive Security for SPARK. ESSoS 2016: 20-37
• 
  Sven Türpe:
  Idea: Usable Platforms for Secure Programming - Mining Unix for Insight and Guidelines. ESSoS 2016: 207-215
• 
  Mingyi Zhao, Peng Liu:
  Empirical Analysis and Modeling of Black-Box Mutational Fuzzing. ESSoS 2016: 173-189
• 
  Juan Caballero, Eric Bodden, Elias Athanasopoulos:
  Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. Lecture Notes in Computer Science 9639, Springer 2016, ISBN 978-3-319-30805-0 [contents]