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

• 2022
• 
  Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow:
  Preventing Kernel Hacks with HAKCs. NDSS 2022
• 2021
• 
  Nick Roessler, Lucas Atayde, Imani Palmer, Derrick Paul McKee, Jai Pandey, Vasileios P. Kemerlis, Mathias Payer, Adam Bates, Jonathan M. Smith, André DeHon, Nathan Dautenhahn:
  μSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts. RAID 2021: 296-311
• 2019
• 
  Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu:
  ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. EuroSys 2019: 4:1-4:15
• 2018
• 
  Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
  CUP: Comprehensive User-Space Protection for C/C++. AsiaCCS 2018: 381-392
• 
  Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
  CFIXX: Object Type Integrity for C++. NDSS 2018
• 2017
• 
  Akash Agarwal, Samuel Dawson, Derrick Paul McKee, Patrick Eugster, Matthew Tan Creti, Vinaitheerthan Sundaram:
  Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract. IoTDI 2017: 339-340
• 
  Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
  CUP: Comprehensive User-Space Protection for C/C++. CoRR abs/1704.05004 (2017)
• 
  Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi:
  An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. CoRR abs/1711.11396 (2017)
• 2004
• 
  Derrick Robertson, Paul McKee:
  Distributed Policy-Managed Storage. PDPTA 2004: 547-553