受强制性开放获取政策约束的文章 - Josée Desharnais了解详情
无法在其他位置公开访问的文章：1 篇
Finite Approximation of LMPs for Exact Verification of Reachability Properties
G Kouko, J Desharnais, F Laviolette
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
可在其他位置公开访问的文章：7 篇
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
强制性开放获取政策： US Department of Defense, Natural Sciences and Engineering Research Council …
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
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
Block-safe information flow control
E Kozyri, J Desharnais, N Tawbi
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
General cops and robbers games with randomness
F Simard, J Desharnais, F Laviolette
Theoretical Computer Science 887, 30-50, 2021
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
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
强制性开放获取政策： US National Science Foundation, US Department of Defense, Natural Sciences …
Implicit variational inference: the parameter and the predictor space
Y Pequignot, M Alain, P Dallaire, A Yeganehparast, P Germain, ...
Preprint.(https://arxiv. org/abs/2010.12995), 2020
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
A cop-winning strategy on strongly cop-win graphs
J Desharnais, F Laviolette, H Marcoux, N Polat
Discrete Mathematics 346 (8), 113419, 2023
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
出版信息和资助信息由计算机程序自动确定