Computer Scientist at SEI, CMU. Research and Development focusing on: Building Verifiable and Trustworthy Computing Systems
-
SEI, CMU
- Aledo, TX
- https://hypcode.org
Block or Report
Block or report amitvasudevan
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
uberspark Public
Forked from uberspark/uberspark
Modular Provable Security on Commodity System Software Stacks
C
-