Marc Andrysco

PhD Computer Science

University of California San Diego



M. Andrysco, A. Noetzli, F. Brown, R. Jhala, D. Stefan "Towards Verified, Constant-time Floating Point Operations." ACM Computer and Communications Security (CCS), Oct 2018

M. Andrysco, R. Jhala, S. Lerner "Printing Floating-Point Numbers: An Always Correct Method." Principles of Programming Languages (POPL), Jan 2016

M. Andrysco, D. Kohlbrenner, K. Mowery, R. Jhala, S. Lerner, and H. Shacham "On Subnormal Floating Point and Abnormal Timing." IEEE Security and Privacy (Oakland), May 2015