Andrew Bedford

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 6

Top Topics

Dynamic Analysis

Malware Detection

Information Flow

Natural Language

Top Venues

Publications

Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF (2019)
Andrew Bedford
Information-Flow Control with Fading Labels. PST (2017)
Andrew Bedford
Coqatoo: Generating Natural Language Versions of Coq Proofs. CoRR (2017)
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71 (2017)
Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel
Andrana: Quick and Accurate Malware Detection for Android. FPS (2016)
Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC (2016)
Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
Enforcing Information Flow by Combining Static and Dynamic Analysis. FPS (2013)