25th USENIX Security Symposium has ended
Back To Schedule
Wednesday, August 10 • 11:30am - 12:00pm
Secure, Precise, and Fast Floating-Point Operations on x86 Processors

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Floating-point computations introduce several side channels. This paper describes the first solution that closes these side channels while preserving the precision of non-secure executions. Our solution exploits microarchitectural features of the x86 architecture along with novel compilation techniques to provide low overhead.

Because of the details of x86 execution, the evaluation of floating-point side channel defenses is quite involved, but we show that our solution is secure, precise, and fast. Our solution closes more side channels than any prior solution. Despite the added security, our solution does not compromise on the precision of the floating-point operations. Finally, for a set of microkernels, our solution is an order of magnitude more efficient than the previous solution.


Ashay Rane

The University of Texas at Austin

Wednesday August 10, 2016 11:30am - 12:00pm PDT
Zilker Ballroom 3

Attendees (5)