Entry Bhargavan:2012:VCI from tissec.bib
Last update: Sun Oct 15 02:58:48 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Bhargavan:2012:VCI,
author = "Karthikeyan Bhargavan and C{\'e}dric Fournet and
Ricardo Corin and Eugen Zalinescu",
title = "Verified Cryptographic Implementations for {TLS}",
journal = j-TISSEC,
volume = "15",
number = "1",
pages = "3:1--3:??",
month = mar,
year = "2012",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2133375.2133378",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Sat Mar 24 09:45:43 MDT 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We narrow the gap between concrete implementations of
cryptographic protocols and their verified models. We
develop and verify a small functional implementation of
the Transport Layer Security protocol (TLS 1.0). We
make use of the same executable code for
interoperability testing against mainstream
implementations for automated symbolic cryptographic
verification and automated computational cryptographic
verification. We rely on a combination of recent tools
and also develop a new tool for extracting
computational models from executable code. We obtain
strong security guarantees for TLS as used in typical
deployments.",
acknowledgement = ack-nhfb,
articleno = "3",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- against,
2(3)230,
2(4)354,
2(4)416,
9(4)461,
10(3)11,
11(2)3,
11(3)13,
11(4)22,
12(3)18,
13(3)22,
13(3)28,
14(1)7,
14(1)13,
14(3)24,
15(2)6,
15(2)8,
15(3)14,
16(1)1,
16(1)2,
16(2)8,
16(4)13,
17(1)4,
17(2)7,
17(2)8,
18(1)2,
18(2)7
- automated,
6(1)1,
9(3)352,
10(3)12,
12(1)4,
13(1)2,
15(3)12,
15(4)17,
17(4)14,
18(3)9
- Bhargavan, Karthikeyan,
10(2)8
- code,
5(3)238,
6(2)258,
11(4)23,
12(2)10,
12(2)11,
12(3)14,
12(3)19,
13(1)10,
13(2)17,
13(3)21,
15(1)2,
15(2)10,
16(1)1,
16(2)6,
16(2)7,
16(3)9,
18(4)12
- combination,
10(4)2,
17(2)5
- computational,
10(2)5,
11(2)6,
12(1)3,
12(4)21,
13(3)28,
13(4)40,
15(2)9,
16(3)12,
16(4)17,
17(3)10,
17(3)12,
17(4)15,
18(2)7,
18(4)12
- concrete,
12(2)10,
12(3)19,
13(4)33,
18(2)8
- Corin, Ricardo,
10(2)8
- cryptographic,
2(3)230,
2(4)354,
2(4)390,
2(4)416,
9(2)181,
10(2)6,
10(3)10,
10(4)3,
11(3)12,
12(2)9,
13(1)2,
14(1)10,
14(1)11,
14(1)14,
15(2)9,
16(1)2,
16(2)6,
17(2)7,
17(3)10,
18(1)3
- develop,
2(2)138,
10(2)8,
10(3)9,
11(3)12,
12(1)4,
12(1)6,
12(3)14,
13(3)22,
13(3)27,
14(1)9,
14(4)32,
15(2)9,
15(2)10,
16(2)7,
16(3)10,
17(1)2
- executable,
2(2)177,
18(1)4
- Fournet, Cédric,
10(2)8,
10(3)9
- functional,
10(4)2,
10(4)3,
12(1)4
- gap,
14(4)31,
15(3)13,
16(2)7,
17(1)2
- guarantee,
2(2)159,
10(3)11,
10(4)4,
11(2)4,
11(2)5,
12(2)8,
12(2)9,
12(4)21,
13(3)21,
15(4)17,
18(1)4,
18(4)12
- implementation,
1(1)3,
1(1)26,
1(1)66,
2(1)34,
2(2)177,
2(4)390,
2(4)416,
7(2)319,
11(1)2,
11(1)3,
11(1)4,
11(3)16,
11(4)18,
11(4)22,
12(1)1,
12(2)10,
12(2)11,
12(3)14,
12(4)22,
13(1)4,
13(3)26,
13(3)27,
14(1)3,
15(2)8,
15(3)13,
15(4)16,
16(1)1,
16(1)2,
16(3)9,
16(3)10,
16(3)11,
16(4)13,
17(2)5,
17(2)8,
18(1)2,
18(1)3,
18(1)4
- layer,
11(1)3,
11(4)19,
11(4)23,
13(3)22,
15(2)7
- make,
2(3)332,
9(1)31,
10(1)2,
10(3)11,
10(4)6,
11(1)4,
11(3)13,
11(3)14,
11(4)22,
11(4)23,
12(1)1,
12(3)15,
13(3)22,
13(3)26,
13(3)28,
13(4)35,
14(4)29,
15(1)4,
15(4)17,
16(3)10,
17(3)10,
18(1)1,
18(2)7,
18(4)13
- narrow,
12(3)15
- new,
1(1)3,
1(1)93,
2(1)105,
2(2)138,
2(3)295,
9(2)181,
9(4)461,
10(1)3,
10(2)6,
10(4)6,
11(4)17,
12(1)2,
12(1)3,
12(2)11,
12(3)14,
12(3)15,
12(3)16,
12(4)21,
12(4)22,
13(2)15,
13(4)29,
13(4)34,
14(1)4,
14(1)5,
14(1)6,
14(1)13,
14(3)23,
14(3)27,
14(4)30,
15(2)7,
15(2)9,
15(2)10,
15(3)12,
15(4)15,
16(2)5,
16(2)7,
16(3)12,
16(4)16,
16(4)17,
17(1)4,
17(2)7,
17(3)10,
17(4)15,
18(1)1,
18(1)2,
18(3)10,
18(3)11
- obtain,
9(2)181,
10(3)9,
11(4)18,
11(4)19,
12(3)18,
13(4)37,
14(1)14,
16(4)15,
17(3)10,
18(1)4
- recent,
2(1)65,
2(2)138,
10(2)8,
10(3)9,
11(1)2,
11(4)22,
12(1)2,
12(2)12,
14(1)7,
14(1)14,
14(4)29,
16(2)7,
16(3)10,
18(1)1,
18(2)5,
18(2)7,
18(4)13
- rely,
10(4)3,
10(4)6,
11(2)6,
12(1)3,
13(4)38,
14(1)9,
16(1)1,
16(4)13,
16(4)14,
18(1)2
- same,
2(2)177,
2(3)269,
2(4)390,
10(1)3,
10(1)4,
11(2)3,
12(2)10,
12(3)18,
12(4)21,
13(1)10,
13(3)25,
13(4)31,
15(2)7,
15(2)10,
15(4)16,
17(3)10,
17(4)15,
18(1)1
- small,
2(3)295,
10(3)11,
10(4)3,
10(4)5,
12(1)6,
12(3)15,
12(3)16,
12(3)18,
12(4)21,
14(1)12,
15(1)4,
15(4)15,
16(1)1,
17(4)15,
18(2)5
- strong,
2(3)230,
2(4)390,
3(3)161,
10(3)11,
11(3)13,
12(4)21,
13(1)7,
13(4)39,
15(1)4,
16(2)6,
16(3)12,
18(1)1,
18(4)13
- symbolic,
12(2)10,
14(2)15,
14(4)32,
17(2)7
- testing,
3(4)262,
12(1)4,
12(3)14,
13(3)26,
16(2)8,
17(2)5
- TLS,
2(3)332,
4(2)134,
7(4)553,
11(1)2
- tool,
1(1)66,
2(3)332,
2(4)390,
7(2)274,
9(2)181,
10(4)2,
12(2)10,
13(3)24,
13(3)26,
13(4)30,
13(4)40,
14(1)6,
15(4)18,
16(1)4,
16(2)7,
17(2)7,
18(1)1,
18(1)4
- Transport,
17(3)10
- typical,
10(2)8,
11(4)20,
16(1)2,
16(2)8
- use,
2(1)3,
2(1)105,
2(2)138,
2(2)177,
2(3)230,
2(3)269,
2(3)332,
2(4)354,
2(4)390,
4(2)103,
7(1)21,
9(4)391,
9(4)421,
9(4)461,
10(1)4,
10(2)5,
10(3)11,
10(4)1,
10(4)3,
10(4)5,
10(4)6,
11(1)2,
11(1)3,
11(1)4,
11(2)1,
11(2)4,
11(3)13,
11(3)14,
11(4)18,
11(4)19,
11(4)21,
11(4)22,
12(2)10,
12(3)16,
12(3)18,
13(3)22,
13(3)24,
13(3)25,
13(4)29,
13(4)31,
13(4)36,
14(1)6,
14(1)8,
14(1)10,
14(1)11,
14(4)31,
14(4)32,
15(1)4,
15(1)5,
15(2)7,
15(3)12,
15(4)15,
15(4)16,
15(4)17,
16(2)8,
16(4)15,
16(4)17,
17(2)5,
17(2)6,
17(2)7,
17(2)8,
17(4)15,
17(4)16,
18(1)1,
18(2)6,
18(3)9,
18(4)14
- used,
1(1)3,
2(1)65,
2(4)416,
7(2)319,
9(2)181,
10(1)2,
10(2)5,
10(2)7,
10(2)8,
10(4)2,
11(1)2,
11(1)3,
11(2)3,
11(3)14,
11(3)15,
11(3)16,
11(4)21,
11(4)22,
12(2)8,
12(3)15,
13(1)10,
13(3)22,
13(3)25,
13(4)29,
13(4)34,
14(1)3,
14(1)12,
14(1)13,
14(3)27,
15(1)5,
15(3)12,
15(4)17,
15(4)18,
16(2)7,
16(2)8,
16(3)10,
17(1)1,
17(2)7,
17(3)9,
17(4)13,
18(1)3,
18(2)5,
18(2)6,
18(3)9,
18(4)13,
18(4)14
- verification,
2(3)332,
3(1)51,
8(3)287,
10(2)5,
10(2)6,
10(2)7,
10(3)9,
10(3)11,
11(2)5,
11(3)14,
12(1)3,
12(1)6,
14(1)5,
14(3)25,
14(4)32,
15(2)9,
15(4)18,
16(2)8,
17(2)6,
18(2)6,
18(2)8,
18(3)11,
18(4)14
- verified,
2(3)332,
9(2)138,
13(3)26,
15(3)11,
16(4)17,
18(2)7
- verify,
2(3)332,
9(4)421,
11(2)5,
11(3)14,
14(1)12,
16(3)11,
17(2)6,
18(2)6,
18(3)11
- Zalinescu, Eugen,
16(1)3