Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

New Hardware Logics and their Application to Security and Learning

Have you ever stopped to think about the fact that today nearly every internet search made, post liked, computer game played, car driven, picture taken, and passenger flown was controlled almost entirely by "and", "or", and "not" gates over 0 and 1?   The digital logic abstraction has served us incredibly well over the past 50 years, but there is always room to improve!   In this talk I will explore two concrete problems where new logics are providing a unique and valuable lens. The first relates to the insidious nature of security vulnerabilities that live between hardware and software (such as Spectre and Meltdown), and the second (where the bulk of the talk will focus) on the ability of new encodings to facilitate highly efficient hardware for machine learning. 

Timothy Sherwood

Professor of Computer Science & Associate Vice Chancellor for Research at UC Santa Barbara

Created March 7, 2018, Updated October 1, 2018