On Subnormal Floating Point and Abnormal Timing. - Marc Andrysco; David Kohlbrenner; Keaton Mowery; Ranjit Jhala; Sorin Lerner; Hovav Shacham (IEEE Symposium on Security and Privacy, 2015)

Printing floating-point numbers: a faster, always correct method. - Marc Andrysco; Ranjit Jhala; Sorin Lerner (POPL, 2016)

Towards Verified, Constant-time Floating Point Operations. - Marc Andrysco; Andres Nötzli; Fraser Brown; Ranjit Jhala; Deian Stefan (CCS, 2018)

Towards Verified, Constant-Time Floating-Point Operations. - Marc Andrysco (2019)