Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Viguier
coq-verif-tweetnacl
Commits
272a43a1
Commit
272a43a1
authored
Oct 01, 2020
by
Peter Schwabe
Browse files
Explanation on supplementary material
parent
27a48011
Changes
1
Show whitespace changes
Inline
Side-by-side
paper/csf-supplementary/previous.tex
View file @
272a43a1
...
...
@@ -32,6 +32,22 @@
\maketitle
\section*
{
Submissions to IEEE S
\&
P and to USENIX Security
}
Earlier versions of this manuscript have been submitted
to the IEEE Symposium on Security and Privacy (submission deadline October 1, 2019)
and to the USENIX Security Symposium (submission deadline February 15, 2020).
The paper received a ``reject'' decision from IEEE S
\&
P and a ``reject-and-resubmit''
decision from USENIX. In this supplementary material we provide the following documents:
\begin{itemize}
\item
The reviews we received at USENIX, together the answers we provided
in the rebuttal phase. Note that we received only reviews
\#
324A,
\#
324B, and
\#
324C
before the rebuttal phase.
\item
The version of the manuscript we submitted to USENIX. This version
contains in Appendix D the reviews we received at IEEE S
\&
P and our replies
to those reviews explaining how we addressed them in the revised version
we submitted to USENIX.
\item
The version of the manuscript we submitted to IEEE S
\&
P.
\end{itemize}
\section*
{
Addressing the USENIX reviews
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment