We stand with Ukraine  

Azucena Garvía Bosshard

Affiliations:
  • Google Zurich, Switzerland
  • University of Edinburgh, School of Informatics, UK


According to our database1, Azucena Garvía Bosshard authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Sumcheck Protocol.
[BibTeX]
[DOI]
Azucena Garvía Bosshard
,
Christoph Sprenger
,
Jonathan Bootle
Arch. Formal Proofs, 2024

Formal Verification of the Sumcheck Protocol.
[BibTeX]
[DOI]
Azucena Garvía Bosshard
,
Jonathan Bootle
,
Christoph Sprenger
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2020
A Note on Hardness under Projections for Graph Isomorphism and Time-Bounded Kolmogorov Complexity.
[BibTeX]
[DOI]
Eric Allender
,
Azucena Garvía Bosshard
,
Amulya Musipatla
Electron. Colloquium Comput. Complex., 2020


  Loading...