usenix_logo_notag_white
Sign In
Conferences
Attend
Registration Information
Registration Discounts
Student Grant Application
Diversity Grant Application
Venue, Hotel, and Travel
Services
Program
Program at a Glance
Technical Sessions
Fall Accepted Papers
Activities
Birds-of-a-Feather Sessions
Poster Session and Happy Hour
Participate
Call for Papers
Submission Policies and Instructions
Instructions for Presenters
Sponsors
Exhibitor Services
About
Symposium Organizers
Questions
Past Symposia
Conference Policies
Code of Conduct
Rami Gökhan Kıcı
Linked Presentation:
IODINE: Verifying Constant-Time Execution of Hardware
