Farzaneh Derakhshan

Registered user since Mon 8 Jan 2018

Name:Farzaneh Derakhshan
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Type Theory, Proof Theory, Programming Languages

Contributions

PriSC 2023 Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers
Show activities from other conferences

Using general profile