News

24 Jul 2019

Drew created some initial styles for the website.

01 Jul 2019

We have started creating a webpage.

People

Alumni

Jaideep Ramachandran Intel

Mitesh Jain Synopsis

Harsh Raju Chamarthi GE

Vasilis Papavasileiou Ocsigen

Projects

Resource-Aware Program Verification using Observation Sequences : Analysis techniques for programs designed for variable amounts of some resource

Platform Dependencies of Floating-Point Programs : They give rise to inconsistencies across compilers and hardware. How much freedom should your compiler have?

Compilation-Dependent Security Properties of Software : Detecting, fixing, and preventing information leaks (such as through side channels) introduced by security-ignorant compilers

CID: Confidentiality and Integrity of Deep Neural Networks : Protecting DNNs against attacks targeting the internal structure or the inference process

ACL2s : A powerful theorem prover.

NSF SaTC: CORE: Medium: Collaborative: Bridging the Gap Between Protocol Design and Implementation through Automated Mapping :