diff --git a/Maksimovic2022Exact.pdf b/Maksimovic2022Exact.pdf index 7e98faf01ad43727fdb25a82bef77f7e31d577c3..99de6fff6029e868309dbb5d03011391875d73ea 100644 Binary files a/Maksimovic2022Exact.pdf and b/Maksimovic2022Exact.pdf differ diff --git a/publications.bib b/publications.bib index 645dc422a7a940ed41e56d9f52429e782420ddde..14882a3654c21e58e95f5d459b4347d345edcd78 100644 --- a/publications.bib +++ b/publications.bib @@ -1950,7 +1950,7 @@ which does not require an OCaml harness like WasmCert-Isabelle.}, } @InProceedings{Maksimovic2022Exact, -author = {Petar MaksimovÃ\'c and +author = {Petar MaksimovÃc and Caroline Cronj\"ager and Julian Sutherland and Andreas L\"o\"ow and