Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Events
ACM CCS 2018
Towards Verified, Constant-time Floating Point Operations
Star
0
Share