A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2017
Source ID
10.1016/j.cose.2017.04.001

Entities

People

  • Andrew Bedford
  • Elisavet Kozyri
  • Josée Desharnais
  • Nadia Tawbi
  • Stephen Chong

Organizations

  • Air Force Office of Scientific Research
  • Laval University
  • Microsoft
  • Natural Sciences and Engineering Research Council