-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.tex
76 lines (53 loc) · 2.1 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
\documentclass[sigconf, anonymous]{acmart}
\fancyhf{} % Remove fancy page headers
\fancyhead[C]{Anonymous submission \#9999 to ACM CCS 2019} % TODO: replace 9999 with your paper number
\fancyfoot[C]{\thepage}
\setcopyright{none} % No copyright notice required for submissions
\acmConference[Anonymous Submission to ACM CCS 2020]{ACM Conference on Computer and Communications Security}{}{Orlando, TBD}
\acmYear{2020}
\settopmatter{printacmref=false, printccs=true, printfolios=true} % We want page numbers on submissions
\input{packages.tex}
\input{style.tex}
%\input{symbols.tex}
\newcommand{\name}{\textsf{Graphene}} %A lightweight robust material: In our case a lightweight protocol which withstand malicious provers % Give a good name
% \newcommand{\dpname}{\textsf{DPZK}-\name{}}
\newcommand{\dpname}{\text{DP-Graphene}}
%%\ccsPaper{9999} % TODO: replace with your paper number once obtained
\begin{document}
\title{How to prove a statement jointly? Distributed-prover Zero-Knowledge Protocols}
\input{abstract.tex}
% TODO: replace this section with code generated by the tool at https://dl.acm.org/ccs.cfm
%\begin{CCSXML}
%<ccs2012>
%<concept>
%<concept_id>10002978.10003029.10011703</concept_id>
%<concept_desc>Security and privacy~Usability in security and privacy</concept_desc>
%<concept_significance>500</concept_significance>
%</concept>
%</ccs2012>
%\end{CCSXML}
%
%\ccsdesc{Security and privacy~Use https://dl.acm.org/ccs.cfm to generate actual concepts section for your paper}
% -- end of section to replace with generated code
\keywords{ TODO: add keywords}
\maketitle
%\setcounter{tocdepth}{1}
%\tableofcontents
%\input{abstract.tex}
%\input{Notations.tex}
\input{introduction.tex}
\input{DPZK.tex}
\input{preliminary.tex}
\input{DPZKShortProof.tex}
\input{DPZKQuickVerify.tex}
\input{Security.tex}
\input{graphene_r1cs.tex}
%\input{instantiations.tex}
%\input{DPZKfromLit.tex}
%\input{implementation.tex}
%\pagebreak
\bibliographystyle{ACM-Reference-Format}
\bibliography{main}
%\appendix
\input{Appendix.tex}
\end{document}