Andrew Bedford

According to our database, Andrew Bedford authored at least 7 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.

Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2017

Coqatoo: Generating Natural Language Versions of Coq Proofs.

Andrew Bedford

CoRR, 2017

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

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

Comput. Secur., 2017

Information-Flow Control with Fading Labels.

Andrew Bedford

Proceedings of the 15th Annual Conference on Privacy, Security and Trust, 2017

2016

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.

Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Andrana: Quick and Accurate Malware Detection for Android.

Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel

Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016

2013

Enforcing Information Flow by Combining Static and Dynamic Analysis.

Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013