Entry Lee:2015:GAP 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{Lee:2015:GAP,
author = "Hyojeong Lee and Jeff Seibert and Dylan Fistrovic and
Charles Killian and Cristina Nita-Rotaru",
title = "{Gatling}: Automatic Performance Attack Discovery in
Large-Scale Distributed Systems",
journal = j-TISSEC,
volume = "17",
number = "4",
pages = "13:1--13:??",
month = apr,
year = "2015",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2714565",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Fri Apr 24 17:39:52 MDT 2015",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "In this article, we propose Gatling, a framework that
automatically finds performance attacks caused by
insider attackers in large-scale message-passing
distributed systems. In performance attacks, malicious
nodes deviate from the protocol when sending or
creating messages, with the goal of degrading system
performance. We identify a representative set of basic
malicious message delivery and lying actions and design
a greedy search algorithm that finds effective attacks
consisting of a subset of these actions. Although lying
malicious actions are protocol dependent, requiring the
format and meaning of messages, Gatling captures them
without needing to modify the target system by using a
type-aware compiler. We have implemented and used
Gatling on nine systems, a virtual coordinate system, a
distributed hash table lookup service and application,
two multicast systems and one file sharing application,
and three secure systems designed specifically to
tolerate insiders, two based on virtual coordinates and
one using Outlier Detection, one invariant derived from
physical laws, and the last one a Byzantine resilient
replication system. We found a total of 48 attacks,
with the time needed to find each attack ranging from a
few minutes to a few hours.",
acknowledgement = ack-nhfb,
articleno = "13",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- action,
2(2)177,
11(1)3,
11(4)21,
12(1)1,
12(2)12,
12(3)19,
13(4)30,
14(1)10,
14(4)28,
16(1)3,
17(1)2
- algorithm,
1(1)26,
2(1)3,
2(1)65,
2(1)105,
2(3)295,
9(2)162,
9(4)391,
9(4)421,
10(1)4,
10(4)3,
11(1)4,
11(3)12,
12(2)8,
12(3)17,
12(4)20,
13(1)10,
13(3)20,
13(3)22,
13(3)24,
13(3)26,
13(3)27,
13(3)28,
13(4)36,
13(4)41,
14(1)3,
14(1)13,
14(3)25,
15(3)11,
15(4)15,
15(4)17,
16(1)4,
17(3)11,
18(1)1,
18(1)4,
18(4)14
- Although,
10(3)12,
12(2)8,
13(3)21,
13(3)28,
13(4)35,
15(2)7,
17(1)3
- application,
1(1)66,
2(2)159,
2(2)177,
2(4)354,
4(2)103,
7(1)1,
7(1)97,
8(3)287,
9(1)1,
9(1)94,
10(1)2,
10(2)6,
10(4)3,
11(1)2,
11(1)3,
11(3)14,
11(3)16,
11(4)22,
12(1)2,
12(1)3,
12(2)11,
12(3)14,
12(4)21,
13(1)4,
13(1)10,
13(2)17,
13(3)22,
13(3)26,
13(4)38,
13(4)39,
14(1)2,
14(1)3,
14(1)6,
14(1)8,
14(1)9,
14(2)19,
14(3)27,
15(1)2,
15(1)4,
16(1)1,
16(1)2,
16(2)6,
16(3)9,
16(4)13,
16(4)17,
17(2)5,
18(3)10,
18(4)12
- article,
10(1)3,
11(1)3,
11(1)4,
11(2)5,
11(3)12,
11(3)14,
11(3)15,
11(3)16,
11(4)20,
11(4)22,
11(4)23,
12(1)1,
12(1)2,
12(1)4,
12(1)6,
12(2)8,
12(2)10,
12(2)13,
12(3)14,
12(3)16,
12(3)17,
12(3)19,
12(4)21,
12(4)22,
13(3)22,
13(3)24,
13(3)25,
13(3)27,
13(3)28,
13(4)29,
13(4)31,
13(4)32,
13(4)34,
13(4)36,
13(4)41,
14(1)2,
14(1)3,
14(1)4,
14(1)10,
14(1)13,
14(1)14,
14(3)23,
14(3)25,
14(4)30,
15(2)9,
15(2)10,
15(3)11,
15(3)12,
15(3)13,
15(4)15,
15(4)16,
15(4)17,
16(1)1,
16(1)4,
16(2)6,
16(2)7,
16(2)8,
16(3)10,
16(4)14,
16(4)15,
17(2)8,
17(3)9,
17(3)11,
17(3)12,
17(4)16,
18(1)3,
18(2)5,
18(2)7,
18(3)9,
18(3)10,
18(3)11,
18(4)12,
18(4)14
- attacker,
2(2)159,
8(1)78,
10(1)4,
10(4)3,
10(4)6,
11(3)12,
11(3)15,
12(1)4,
12(2)12,
12(3)17,
12(4)22,
13(4)37,
14(1)7,
14(1)13,
14(4)31,
15(1)2,
15(4)16,
17(2)8,
17(3)11,
17(4)16,
18(1)1,
18(2)7,
18(4)13
- automatic,
10(1)4,
10(3)9,
13(2)14,
18(1)4
- automatically,
10(2)8,
12(2)10,
13(3)24,
14(1)2,
15(2)6,
15(4)18,
16(2)5,
16(2)7,
17(2)7,
18(3)9
- based,
1(1)3,
2(1)34,
2(2)177,
2(3)230,
2(3)295,
2(3)332,
3(3)161,
7(2)319,
9(2)162,
9(2)181,
9(4)421,
10(1)2,
10(1)4,
10(2)6,
11(1)3,
11(2)1,
11(2)4,
11(3)12,
11(3)15,
11(4)17,
11(4)18,
12(1)1,
12(1)4,
12(2)13,
12(3)16,
12(3)17,
12(3)18,
13(3)24,
13(3)27,
13(3)28,
13(4)29,
13(4)30,
13(4)31,
13(4)41,
14(1)3,
14(1)4,
14(1)8,
14(1)9,
14(1)10,
14(4)30,
15(2)6,
15(2)7,
15(3)13,
16(2)8,
16(4)16,
17(1)3,
17(2)7,
17(3)12,
17(4)14,
17(4)15,
17(4)16,
18(1)1,
18(1)4,
18(3)10,
18(3)11,
18(4)14
- basic,
2(4)354,
9(4)461,
10(1)4,
10(2)8,
11(2)3,
11(3)12,
12(2)8,
13(3)27,
14(3)26,
14(4)31,
15(3)12,
18(2)5
- Byzantine,
9(4)421,
10(4)6,
13(4)38
- capture,
2(2)159,
9(2)162,
10(4)6,
11(3)13,
11(3)14,
15(2)10,
16(2)8,
17(3)11
- caused,
10(4)6,
14(3)24
- compiler,
13(3)21,
15(1)2
- consisting,
16(4)14,
17(4)15
- coordinate,
2(1)65,
13(4)38,
14(3)27
- creating,
15(3)12
- degrading,
11(2)1
- delivery,
10(4)4
- dependent,
18(2)5
- derived,
5(1)62,
10(4)2,
13(4)37,
14(1)6
- design,
1(1)66,
2(1)34,
2(1)105,
2(2)138,
2(3)269,
2(4)390,
2(4)416,
10(2)7,
10(3)11,
10(4)1,
11(1)2,
11(2)1,
11(4)18,
11(4)23,
12(1)3,
12(2)8,
12(2)11,
12(3)17,
12(4)20,
12(4)22,
13(1)10,
13(4)29,
13(4)32,
14(1)8,
14(3)24,
15(3)13,
16(2)5,
16(2)6,
16(2)8,
16(4)16,
17(1)4,
17(2)7,
17(2)8,
18(1)1,
18(1)3,
18(4)12
- designed,
2(4)416,
10(3)10,
10(3)11,
10(3)12,
11(1)2,
11(3)12,
12(4)21,
12(4)22,
13(3)25,
13(4)38,
16(2)5,
16(2)8,
16(3)9,
16(3)10,
16(4)14,
18(1)3
- detection,
2(2)159,
2(3)295,
3(1)1,
3(3)186,
3(4)227,
3(4)262,
4(4)407,
5(3)203,
6(2)173,
6(4)443,
7(4)591,
9(1)61,
10(1)4,
11(2)2,
11(3)12,
11(3)15,
11(4)19,
11(4)20,
12(2)11,
12(2)12,
12(2)13,
12(4)22,
13(2)12,
13(4)30,
14(1)13,
14(3)27,
15(2)6,
15(3)11,
15(4)17,
17(4)15,
18(1)2,
18(2)7,
18(3)9
- discovery,
10(4)6,
11(2)1,
11(4)22
- distributed,
2(1)34,
2(1)105,
2(2)159,
2(3)332,
4(2)103,
4(4)407,
6(1)128,
8(1)41,
9(1)1,
9(4)421,
10(2)7,
11(1)3,
11(1)4,
11(2)1,
11(3)14,
12(1)1,
12(1)2,
12(2)8,
12(2)12,
13(2)16,
13(3)25,
14(1)3,
14(1)12,
14(3)27,
14(4)31,
15(2)6,
15(3)13,
16(4)14,
16(4)15,
18(1)2,
18(2)6
- each,
2(1)65,
2(2)138,
2(4)390,
9(4)421,
9(4)461,
10(1)4,
10(2)8,
10(3)10,
10(3)12,
11(3)14,
11(4)18,
11(4)23,
12(1)6,
12(2)8,
12(2)10,
12(3)18,
12(4)20,
13(1)10,
13(4)29,
13(4)34,
14(3)25,
14(3)26,
14(3)27,
14(4)32,
15(1)2,
15(2)6,
16(4)14,
16(4)17,
17(2)8,
17(3)10,
17(3)12,
18(1)4
- effective,
2(3)269,
9(2)113,
9(4)391,
10(1)4,
11(3)12,
11(4)22,
12(2)10,
12(2)13,
12(4)22,
15(3)12,
15(4)16,
17(1)3,
18(1)1,
18(4)12
- few,
2(3)269,
10(3)10,
13(4)34,
14(1)11,
15(2)7,
17(3)12
- file,
12(2)10,
17(4)15
- find,
10(1)4,
12(1)3,
12(1)6,
12(2)10,
12(4)22,
15(1)5,
15(4)18,
16(2)8,
17(3)11,
18(3)10,
18(4)12
- format,
10(3)12
- found,
10(3)9,
11(2)3,
13(1)10,
15(4)18,
18(1)1
- framework,
2(3)295,
3(4)227,
6(1)71,
6(3)404,
7(2)175,
8(2)187,
9(2)181,
9(4)391,
10(1)2,
10(3)10,
11(1)3,
11(3)12,
11(4)19,
11(4)20,
12(1)2,
12(1)4,
12(1)5,
12(3)19,
12(4)21,
13(3)24,
13(3)28,
14(1)9,
14(1)11,
14(2)21,
14(4)31,
15(2)10,
15(3)12,
15(3)14,
15(4)17,
16(1)2,
16(3)9,
16(4)15,
16(4)17,
17(1)3,
17(2)5,
17(2)7,
17(3)11,
17(3)12,
17(4)14,
17(4)15,
18(1)4,
18(3)10,
18(4)12
- goal,
2(3)332,
12(2)13
- greedy,
2(3)295,
11(4)19,
15(4)15
- hash,
2(2)159,
9(2)181,
13(4)33,
14(1)5
- have,
1(1)66,
1(1)93,
2(1)65,
2(2)138,
2(3)230,
2(3)269,
10(1)2,
10(1)4,
10(2)5,
10(3)10,
10(3)12,
10(4)4,
10(4)5,
10(4)6,
11(1)2,
11(2)1,
11(2)5,
11(3)15,
11(3)16,
11(4)17,
11(4)18,
11(4)21,
12(1)1,
12(1)2,
12(2)10,
12(2)13,
12(3)15,
12(3)16,
12(3)17,
12(4)20,
13(3)20,
13(3)26,
13(3)27,
13(3)28,
13(4)32,
13(4)36,
13(4)39,
13(4)40,
14(1)6,
14(1)7,
14(1)10,
14(1)13,
14(1)14,
14(3)27,
14(4)28,
14(4)29,
15(2)7,
15(2)9,
15(2)10,
15(3)12,
15(4)18,
16(2)7,
16(2)8,
16(3)10,
16(4)15,
16(4)16,
17(1)3,
17(3)11,
17(3)12,
17(4)15,
18(1)1,
18(1)3,
18(2)5,
18(2)7,
18(4)13
- identify,
11(2)2,
11(3)12,
11(3)15,
11(3)16,
11(4)18,
11(4)20,
12(1)4,
12(4)20,
12(4)22,
13(4)35,
14(1)13,
15(4)18,
16(2)7,
18(4)13
- implemented,
2(3)269,
10(1)4,
11(2)5,
12(1)1,
13(3)26,
14(1)8,
14(3)27,
15(4)16,
15(4)18,
17(2)5,
17(3)10,
17(3)11,
18(2)6
- insider,
13(4)38,
18(3)9
- invariant,
18(2)7
- Large-Scale,
18(1)1
- large-scale,
2(2)138,
10(3)11,
16(3)11,
17(4)16,
18(4)12
- last,
11(4)18
- laws,
2(1)34
- lookup,
14(1)11,
15(1)5
- malicious,
2(2)177,
2(3)295,
10(3)11,
10(4)6,
11(2)2,
11(3)13,
11(3)14,
11(3)15,
11(4)22,
11(4)23,
12(2)12,
12(3)14,
14(1)13,
15(1)2,
15(4)17,
16(2)6,
16(3)12,
16(4)13,
16(4)14,
17(3)10,
17(3)12,
18(2)5
- meaning,
2(2)138
- message,
2(2)177,
2(3)332,
9(4)461,
10(2)8,
11(2)4,
11(2)6,
11(3)15,
11(4)23,
12(1)3,
13(4)31,
13(4)37,
14(4)32,
17(3)9
- minutes,
2(3)332,
18(1)2
- modify,
2(2)159,
14(1)8,
16(1)1
- multicast,
3(2)63,
3(3)136,
6(2)258,
11(3)15,
13(2)17
- needed,
2(3)332,
10(4)3,
14(1)5,
15(2)10,
15(4)15,
18(2)6
- Nita-Rotaru, Cristina,
7(3)457,
10(4)6,
13(4)38,
14(1)7
- node,
10(1)3,
10(4)1,
10(4)6,
11(2)3,
11(3)12,
11(3)13,
11(3)14,
11(3)15,
11(4)18,
11(4)22,
11(4)23,
12(1)2,
12(3)18,
13(3)25,
13(4)29,
13(4)34,
13(4)38,
14(1)7,
14(3)27
- one,
1(1)26,
1(1)93,
2(1)3,
2(1)65,
2(3)295,
9(4)461,
10(1)2,
10(2)5,
10(2)8,
10(3)12,
10(4)3,
11(2)6,
11(3)14,
12(1)1,
12(1)5,
12(2)13,
12(3)14,
13(3)21,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)3,
14(1)5,
14(4)30,
14(4)32,
15(2)10,
15(3)11,
15(4)16,
15(4)18,
16(1)3,
16(1)4,
16(3)9,
16(4)14,
17(2)8,
18(1)1,
18(3)11,
18(4)13
- outlier,
14(3)27
- performance,
1(1)3,
1(1)26,
1(1)66,
2(3)269,
4(3)289,
5(4)458,
7(3)457,
9(4)461,
10(1)3,
10(4)4,
11(1)2,
11(1)3,
11(2)1,
11(4)17,
11(4)19,
12(3)14,
12(3)16,
13(3)24,
13(3)25,
13(4)32,
13(4)35,
13(4)38,
14(1)3,
15(1)4,
16(1)1,
16(2)6,
16(2)8,
16(3)9,
16(4)16,
17(1)1,
17(2)8,
17(3)9,
17(4)15
- physical,
10(1)2,
10(4)3,
11(2)2,
11(3)12,
11(3)14,
11(4)22,
14(2)16,
15(2)7,
17(4)16
- propose,
1(1)26,
2(1)65,
2(2)138,
2(3)269,
9(2)162,
9(4)391,
9(4)421,
10(1)3,
10(1)4,
10(3)12,
10(4)1,
10(4)3,
10(4)4,
10(4)6,
11(1)3,
11(1)4,
11(3)12,
11(3)15,
11(4)18,
11(4)19,
11(4)23,
12(1)4,
12(2)8,
12(2)11,
12(2)13,
12(3)18,
13(3)28,
13(4)32,
13(4)36,
13(4)40,
13(4)41,
14(1)5,
14(1)10,
14(1)11,
14(3)24,
14(3)26,
14(4)30,
15(2)7,
15(4)17,
16(1)2,
16(4)15,
16(4)16,
17(1)1,
17(3)10,
17(3)11,
17(3)12,
17(4)14,
18(1)2,
18(2)7
- ranging,
10(4)5,
18(1)1
- replication,
11(1)4
- requiring,
11(1)2,
11(3)14,
11(3)16,
15(2)9,
18(4)13
- resilient,
10(4)6,
11(3)13,
11(4)22,
12(4)20,
15(4)17
- Rotaru, Cristina, Nita-,
7(3)457,
10(4)6,
13(4)38,
14(1)7
- Scale, Large-,
18(1)1
- scale, large-,
2(2)138,
10(3)11,
16(3)11,
17(4)16,
18(4)12
- search,
12(3)16,
12(4)22,
13(4)35
- secure,
1(1)93,
2(2)159,
2(2)177,
2(3)332,
2(4)390,
4(1)72,
4(2)103,
4(2)134,
4(4)321,
5(3)290,
6(4)472,
7(4)523,
9(1)1,
9(1)31,
9(1)94,
9(2)162,
9(4)461,
10(2)8,
10(3)10,
10(3)11,
10(4)3,
10(4)6,
11(2)4,
11(2)5,
11(3)13,
11(3)14,
11(4)18,
11(4)22,
11(4)23,
12(1)2,
12(1)3,
12(1)6,
12(3)16,
12(3)18,
12(4)21,
12(4)22,
13(1)9,
13(3)21,
13(3)28,
13(4)29,
14(3)23,
14(3)27,
14(4)31,
15(2)6,
15(2)9,
16(3)11,
16(4)15,
17(2)5,
17(2)6,
18(2)5,
18(4)13
- sending,
2(2)177,
15(2)6
- service,
2(4)354,
4(4)453,
6(4)472,
10(1)2,
10(2)8,
10(3)11,
10(4)4,
10(4)6,
11(1)2,
11(1)4,
11(3)15,
11(4)19,
12(2)12,
12(3)16,
13(4)38,
13(4)39,
13(4)41,
14(1)5,
14(3)23,
15(2)6,
15(3)12,
15(3)13,
16(2)5,
16(2)6,
16(3)11,
16(3)12,
16(4)14,
17(4)15,
18(1)1,
18(1)2,
18(4)12,
18(4)13
- set,
2(1)34,
2(2)138,
2(4)390,
8(1)3,
9(4)421,
10(2)5,
10(3)12,
10(4)2,
10(4)3,
10(4)5,
11(2)1,
11(2)3,
11(3)13,
11(4)18,
11(4)21,
12(2)11,
12(3)18,
12(3)19,
12(4)20,
12(4)21,
13(1)9,
13(1)10,
13(3)27,
13(4)40,
14(1)12,
14(3)25,
14(4)31,
15(1)2,
15(2)7,
15(2)10,
15(3)13,
15(4)15,
16(1)4,
17(1)2,
17(2)8,
17(3)11,
17(4)14,
18(1)4,
18(3)10,
18(3)11
- sharing,
2(4)354,
8(3)259,
9(4)461,
10(4)4,
11(1)3,
11(1)4,
11(3)13,
13(4)34,
14(3)23
- specifically,
9(2)181,
10(3)12,
11(1)4,
11(3)16,
12(1)6,
12(2)12,
12(3)16,
15(2)6,
15(2)8,
15(4)16,
16(4)17,
18(2)5,
18(2)6,
18(3)9
- subset,
12(1)6,
15(4)15,
16(1)4,
16(4)17,
17(3)9
- table,
11(4)17
- target,
2(4)416,
11(4)23,
13(3)20,
13(3)28,
13(4)35,
15(2)10,
15(4)17,
16(4)14,
17(4)16
- three,
2(1)105,
2(3)332,
9(2)181,
12(2)10,
13(3)25,
13(4)31,
16(2)6,
16(2)8,
16(4)16,
17(2)8,
18(3)11,
18(4)12
- time,
2(1)105,
2(3)332,
2(4)390,
2(4)416,
9(4)461,
10(1)3,
10(2)8,
11(2)3,
11(2)4,
11(2)5,
11(3)13,
11(4)17,
11(4)20,
11(4)21,
11(4)23,
12(2)8,
12(3)17,
12(3)18,
12(3)19,
12(4)20,
12(4)21,
12(4)22,
13(4)37,
13(4)39,
14(1)2,
14(1)11,
14(1)14,
14(3)26,
14(4)31,
15(2)7,
15(3)12,
15(4)17,
16(1)4,
16(4)13,
16(4)14,
16(4)17,
17(3)9,
17(3)10,
17(3)11,
18(1)2,
18(1)4,
18(3)10
- tolerate,
11(4)22,
13(4)34
- total,
12(1)6,
12(3)18,
15(1)4,
15(3)12
- two,
1(1)26,
2(4)416,
9(4)391,
10(1)4,
10(2)6,
10(2)8,
10(3)10,
10(4)4,
11(2)1,
11(2)4,
11(2)6,
11(3)13,
11(4)22,
12(1)2,
12(1)3,
12(1)4,
12(1)6,
12(3)14,
12(4)20,
13(3)22,
13(3)27,
13(4)40,
14(1)4,
14(1)5,
14(4)30,
15(1)2,
15(1)5,
15(2)6,
15(3)11,
15(3)12,
16(1)1,
16(1)2,
16(1)4,
16(3)9,
16(3)10,
16(4)15,
18(2)5,
18(4)12,
18(4)13,
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)3,
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,
18(1)3,
18(2)5,
18(2)6,
18(3)9,
18(4)13,
18(4)14
- using,
2(2)138,
2(2)177,
2(3)332,
4(3)289,
6(2)258,
6(3)327,
9(2)113,
9(2)162,
9(2)181,
9(3)292,
9(3)325,
9(4)461,
10(1)4,
10(2)8,
10(3)11,
10(4)3,
10(4)6,
11(1)2,
11(2)1,
11(2)2,
11(2)3,
11(3)14,
11(4)19,
11(4)21,
12(2)10,
12(2)11,
13(1)2,
13(1)8,
13(3)20,
13(3)26,
13(4)31,
13(4)35,
13(4)39,
14(1)3,
14(1)12,
14(1)14,
14(3)27,
15(1)2,
15(3)11,
15(3)12,
15(4)15,
15(4)17,
16(1)1,
16(1)2,
16(1)4,
16(2)5,
16(2)6,
16(3)10,
16(4)17,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)14,
17(4)16,
18(2)7,
18(2)8,
18(3)10,
18(3)11,
18(4)14
- virtual,
4(2)103,
11(1)3,
11(1)4,
13(4)38,
14(3)27,
14(4)30,
16(2)7,
16(3)9,
17(2)8,
18(2)6
- when,
2(3)295,
10(2)7,
10(3)12,
10(4)4,
10(4)6,
11(2)3,
11(2)6,
11(3)15,
11(3)16,
11(4)17,
11(4)18,
12(2)10,
12(2)11,
12(4)20,
12(4)22,
13(1)10,
13(3)27,
13(4)32,
13(4)34,
13(4)35,
13(4)37,
15(2)6,
15(2)9,
15(2)10,
15(3)14,
16(1)3,
16(2)8,
17(3)9,
18(3)9,
18(4)12