diff --git a/Maksimovic2022Exact.pdf b/Maksimovic2022Exact.pdf index 99de6fff6029e868309dbb5d03011391875d73ea..4dadfbf2cf9eb1b06a6a653c222d365a7235943b 100644 Binary files a/Maksimovic2022Exact.pdf and b/Maksimovic2022Exact.pdf differ diff --git a/publications.bib b/publications.bib index 8517bf55f42674aa00101b07089092aa2ee1009f..23d95282d98870e2041a6e704ea4e4fa93db60e6 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 Maksimovic and Caroline Cronj\"ager and Julian Sutherland and Andreas L\"o\"ow and