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
36384e1f
Commit
36384e1f
authored
Aug 15, 2019
by
Benoit Viguier
Browse files
fix small bug in bibtex
parent
31ca6074
Changes
2
Hide whitespace changes
Inline
Side-by-side
paper/bib.py
View file @
36384e1f
...
...
@@ -115,7 +115,12 @@ def find_subblock(block, i, list_subblock):
idx
=
block
[
i
].
find
(
'='
);
if
idx
!=
-
1
:
end
=
find_subblock_end
(
block
,
i
)
idx2
=
block
[
i
].
find
(
'{'
);
if
idx2
!=
-
1
:
end
=
find_subblock_end
(
block
,
i
)
else
:
end
=
i
list_subblock
.
append
([
i
,
end
,
idx
])
return
find_subblock
(
block
,
end
+
1
,
list_subblock
)
else
:
...
...
paper/collection.bib
View file @
36384e1f
...
...
@@ -47,8 +47,10 @@
year
=
{2012}
,
editor
=
{Alwyn Goodloe and Suzette Person}
,
volume
=
{7226}
,
series
=
LNCS
,
pages
=
{2}
,
publisher
=
SV
,
series
=
LNCS
,
volume
=
{7226}
,
publisher
=
SV
,
note
=
{\url{https://doi.org/10.1007/978-3-642-28891-3_2}}
,
_doi
=
{10.1007/978-3-642-28891-3_2}
,
...
...
@@ -60,12 +62,12 @@
author
=
{Andrew W. Appel}
,
title
=
{Verification of a Cryptographic Primitive: SHA-256}
,
journal
=
{ACM Trans. Program. Lang. Syst.}
,
year
=
{}
,
year
=
{
2015
}
,
volume
=
{37}
,
number
=
{2}
,
pages
=
{7:1--7:31}
,
month
=
apr
,
year
=
{2015}
,
month
=
apr
,
note
=
{\url{http://doi.acm.org/10.1145/2701415}}
,
_acmid
=
{2701415}
,
...
...
@@ -103,8 +105,10 @@
year
=
{2015}
,
editor
=
{Diego Aranha and Alfred Menezes}
,
volume
=
{8895}
,
series
=
LNCS
,
pages
=
{64--83}
,
publisher
=
SV
,
series
=
LNCS
,
volume
=
{8895}
,
publisher
=
SV
,
note
=
{Document ID: c74b5bbf605ba02ad8d9e49f04aca9a2, \url{http://cryptojedi.org/papers/\#tweetnacl}}
,
}
...
...
@@ -118,8 +122,10 @@
year
=
{2012}
,
editor
=
{Alejandro Hevia and Gregory Neven}
,
volume
=
{7533}
,
series
=
LNCS
,
pages
=
{159--176}
,
publisher
=
SV
,
series
=
LNCS
,
volume
=
{7533}
,
publisher
=
SV
,
note
=
{Document ID: 5f6fc69cc5a319aecba43760c56fab04, \url{http://cryptojedi.org/papers/\#coolnacl}}
,
}
...
...
@@ -131,8 +137,10 @@
year
=
{2006}
,
editor
=
{Moti Yung and Yevgeniy Dodis and Aggelos Kiayias and Tal Malkin}
,
volume
=
{3958}
,
series
=
LNCS
,
pages
=
{207--228}
,
publisher
=
SV
,
series
=
LNCS
,
volume
=
{3958}
,
publisher
=
SV
,
note
=
{\url{http://cr.yp.to/papers.html\#curve25519}}
,
}
...
...
@@ -214,8 +222,10 @@
year
=
{2014}
,
editor
=
{Gerwin Klein and Ruben Gamboa}
,
volume
=
{8558}
,
series
=
LNCS
,
pages
=
{77-92}
,
publisher
=
SV
,
series
=
LNCS
,
volume
=
{8558}
,
publisher
=
SV
,
note
=
{\url{https://hal.inria.fr/hal-01102288}}
,
}
...
...
Write
Preview
Supports
Markdown
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