Marc Andrysco

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Fast Fourier Transform

Instruction Set

Top Venues

IEEE Symposium on Security and Privacy

Publications

Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan
Towards Verified, Constant-time Floating Point Operations. CCS (2018)
Marc Andrysco, Ranjit Jhala, Sorin Lerner
Printing floating-point numbers: a faster, always correct method. POPL (2016)
Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham
On Subnormal Floating Point and Abnormal Timing. IEEE Symposium on Security and Privacy (2015)