VMware Academic Program
Palo Alto, CA, US
PhD Student, Tel Aviv University
I'm a PhD student at TAU, working on verification of cloud native systems. My main interest is the intersection of Serverless computing and formal methods.
Secure Serverless Computing Using Dynamic Information Flow Control