Commit 19ccc9a3 authored by traytel's avatar traytel
Browse files

updated paper references

parent b48d456f9336
......@@ -8858,9 +8858,8 @@ abstract =
well-typed programs. We formalize λ• and prove its
correctness and security properties. With Isabelle's help, we
uncover and repair several mistakes in the informal proofs and lemma
statements. Our findings are summarized in a <a
href="http://people.inf.ethz.ch/trayteld/papers/lambdaauth/lambdaauth.pdf">paper
draft</a>.
statements. Our findings are summarized in an <a
href="https://doi.org/10.4230/LIPIcs.ITP.2019.10">ITP'19 paper</a>.
 
[IMP2_Binary_Heap]
title = Binary Heaps for IMP2
......
......@@ -13,9 +13,18 @@
doi = {10.1145/2535838.2535851}
}
@misc{gadsf,
author = {Matthias Brun and Dmitriy Traytel},
title = {Generic Authenticated Data Structures, Formally},
year = 2019,
howpublished = {\url{https://people.inf.ethz.ch/trayteld/papers/lambdaauth/lambdaauth.pdf}}
@inproceedings{gadsf,
author = {Matthias Brun and
Dmitriy Traytel},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Generic Authenticated Data Structures, Formally},
booktitle = {{ITP} 2019},
series = {LIPIcs},
volume = {141},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
doi = {10.4230/LIPIcs.ITP.2019.10}
}
\ No newline at end of file
......@@ -27,7 +27,7 @@ programming language with a built-in primitive authentication construct, which s
data structures while guaranteeing certain correctness and security properties for all well-typed programs.
%
We formalize $\lambda\bullet$ and prove its correctness and security properties. With Isabelle's help, we uncover and repair several
mistakes in the informal proofs and lemma statements. Our findings are summarized in a paper draft~\cite{gadsf}.
mistakes in the informal proofs and lemma statements. Our findings are summarized in an ITP'19 paper~\cite{gadsf}.
\end{abstract}
\tableofcontents
......
Markdown is supported
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