A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version) A Bedford, S Chong, J Desharnais, E Kozyri, N Tawbi Computers & Security 71, 114-131, 2017 | 13 | 2017 |
Enforcing information flow by combining static and dynamic analysis A Bedford, J Desharnais, TG Godonou, N Tawbi International Symposium on Foundations and Practice of Security, 83-101, 2013 | 10 | 2013 |
Andrana: Quick and Accurate Malware Detection for Android A Bedford, S Garvin, J Desharnais, N Tawbi, H Ajakan, F Audet, B Lebel Foundations and Practice of Security: 9th International Symposium, FPS 2016 …, 2017 | 9 | 2017 |
Beyond labels: Permissiveness for dynamic information flow enforcement E Kozyri, FB Schneider, A Bedford, J Desharnais, N Tawbi 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 351-35115, 2019 | 6 | 2019 |
A progress-sensitive flow-sensitive inlined information-flow control monitor A Bedford, S Chong, J Desharnais, N Tawbi ICT Systems Security and Privacy Protection: 31st IFIP TC 11 International …, 2016 | 6 | 2016 |
Coqatoo: generating natural language versions of coq proofs A Bedford arXiv preprint arXiv:1712.03894, 2017 | 4 | 2017 |
Enforcing information-flow policies by combining static and dynamic analyses A Bedford Université Laval, 2019 | | 2019 |
Information-Flow Control with Fading Labels A Bedford 2017 15th Annual Conference on Privacy, Security and Trust (PST), 388-3882, 2017 | | 2017 |
PST 2017 A Ahmadi, C Anglès-Tafalla, A Bedford, P Bhattacharya, A Blanco-Justicia, ... | | |