Follow
Michael Enescu
Michael Enescu
Unknown affiliation
Verified email at cs.ubc.ca
Title
Cited by
Cited by
Year
Scalable approximation of quantitative information flow in programs
F Biondi, MA Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
462018
Effective, efficient, and robust packing detection and classification
F Biondi, MA Enescu, T Given-Wilson, A Legay, L Noureddine, V Verma
Computers & Security 85, 436-451, 2019
322019
Precisely measuring quantitative information flow: 10k lines of code and beyond
CG Val, MA Enescu, S Bayless, W Aiello, AJ Hu
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 31-46, 2016
252016
Towards Scalable Security: On the Scalability of Security in Large-Scale Software Systems
MA Enescu
1
Precisely quantifying software information flow
MA Enescu
University of British Columbia, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–5