Andrew Bedford

Learn More
This paper presents an approach to enforce information flow policies using a multi-valued type-based analysis followed by an instru-mentation when needed. The target is a core imperative language. Our approach aims at reducing false positives generated by static analysis, and at reducing execution overhead by instrumenting only when needed. False positives(More)
BACKGROUND With more than two billion people infected worldwide, soil-transmitted helminths (STH) are the most widespread infections. To date, STH control efforts rely predominantly on recurrent mass drug administration (MDA), which does not prevent reinfection. Additional public health measures including novel health educational tools are required for more(More)
We present a novel progress-sensitive, ow-sensitive hybrid information-ow control monitor for an imperative interactive language. Progress-sensitive information-ow control is a strong information security guarantee which ensures that a program's progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is(More)
  • 1