Commit 7003bb76 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 6002f557
......@@ -1898,12 +1898,6 @@ C memory models. We verify the JavaScript and C implementations of the
AWS Encryption SDK message header deserialisation module, specifically
designing common abstractions used for both verification tasks, and find
two bugs in the JavaScript and three bugs in the C implementation.},
}
@Comment{jabref-meta: databaseType:bibtex;}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment