Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. - Celina G. Val; Michael A. Enescu; Sam Bayless; William Aiello; Alan J. Hu (EuroS&P, 2016)

Scalable Approximation of Quantitative Information Flow in Programs. - Fabrizio Biondi; Michael A. Enescu; Annelie Heuser; Axel Legay; Kuldeep S. Meel; Jean Quilbeuf (VMCAI, 2018)

Effective, efficient, and robust packing detection and classification. - Fabrizio Biondi; Michael A. Enescu; Thomas Given-Wilson; Axel Legay; Lamine Noureddine; Vivek Verma (Comput. Secur., 2019)