Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Humans
Deian Stefan
Star
0
Share
Talks
Month
Quarter
Year
#N/A
#N/A
#N/A
Title
Event
Towards Verified, Constant-time Floating Point Operations
ACM CCS 2018
Browser history re:visited
WOOT '18