Obserwuj
Marc Andrysco
Marc Andrysco
UC San Diego
Zweryfikowany adres z cs.ucsd.edu
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2252015
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
432018
Printing floating-point numbers: a faster, always correct method
M Andrysco, R Jhala, S Lerner
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
92016
Towards Verified, Constant-Time Floating-Point Operations
ME Andrysco
University of California, San Diego, 2019
2019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4