Pedro Fonseca

Pedro Fonseca

Purdue University - West Lafayette / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435339
person_outline Pedro Fonseca's MOST POPULAR ARTICLES
1-) Sok: Understanding the prevailing security vulnerabilities in trustzone-assisted tee systemsD Cerdeira, N Santos, P Fonseca, S Pinto2020 IEEE Symposium on Security and Privacy (SP), 1416-1432, 20201392020
2-) Cirrus: A serverless framework for end-to-end ml workflowsJ Carreira, P Fonseca, A Tumanov, A Zhang, R KatzProceedings of the ACM Symposium on Cloud Computing, 13-24, 20191382019
3-) Zeno: Eventually Consistent Byzantine-Fault Tolerance.A Singh, P Fonseca, P Kuznetsov, R Rodrigues, P ManiatisNSDI 9, 169-184, 20091272009
4-) Cntr: Lightweight OS ContainersJ Thalheim, P Bhatotia, P Fonseca, B Kasikci2018 USENIX Annual Technical Conference (USENIX ATC\' 18), 199-212, 20181152018
5-) An empirical study on the correctness of formally verified distributed systemsP Fonseca, K Zhang, X Wang, A KrishnamurthyProceedings of the Twelfth European Conference on Computer Systems, 328-343, 20171042017