| On subnormal floating point and abnormal timing M Andrysco, D Kohlbrenner, K Mowery, R Jhala, S Lerner, H Shacham 2015 IEEE Symposium on Security and Privacy, 623-639, 2015 | 224 | 2015 |
| Towards verified, constant-time floating point operations M Andrysco, A Nötzli, F Brown, R Jhala, D Stefan Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 45 | 2018 |
