Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Cédric FournetMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Karthikeyan BhargavanINRIAVerifierad e-postadress på inria.fr
- Santiago Zanella-BéguelinMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Antoine Delignat-LavaudMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPVerifierad e-postadress på mpi-sp.org
- Jonathan ProtzenkoMicrosoft ResearchVerifierad e-postadress på ens-lyon.org
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerifierad e-postadress på inria.fr
- Pierre-Yves StrubResearch Scientist, PQShieldVerifierad e-postadress på strub.nu
- Markulf KohlweissUniveristy of EdinburghVerifierad e-postadress på ed.ac.uk
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Gavin BiermanOracleVerifierad e-postadress på oracle.com
- Danel AhmanInstitute of Computer Science, University of TartuVerifierad e-postadress på ut.ee
- Avik ChaudhuriSoftware Engineer, MetaVerifierad e-postadress på meta.com
- Bryan ParnoCarnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Matteo MaffeiFull Professor at TU WienVerifierad e-postadress på tuwien.ac.at
- Samin IshtiaqRiverlaneVerifierad e-postadress på riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinVerifierad e-postadress på utexas.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- Piotr MardzielindependentVerifierad e-postadress på cmu.edu
- Rob JohnsonVMware ResearchVerifierad e-postadress på vmware.com