UCSB Programming Languages Lab
Research
Publications
CV
Ben Hardekopf
Professor, UC Santa Barbara Computer Science Department
Follow
Email
Sapper: a Language for Provable Hardware Policy Enforcement
Previous
Next
