-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
149 lines (140 loc) · 5.55 KB
/
index.html
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, shrink-to-fit=no">
<link rel="stylesheet"
href="https://stackpath.bootstrapcdn.com/bootstrap/4.2.1/css/bootstrap.min.css"
integrity="sha384-GJzZqFGwb1QTTN6wy59ffF1BuGJpLSa9DkKMp0DgiMDm4iYMj70gZWKYbI706tWS"
crossorigin="anonymous">
<link href="https://fonts.googleapis.com/css?family=Noto+Serif+SC" rel="stylesheet">
<link rel="stylesheet" type="text/css" href="style.css">
<title>Accountable Protocol Customization</title>
</head>
<body>
<div class="container">
<h1>Accountable Protocol Customization</h1>
<p class="description">
A framework for <i>secure networking</i>
</p>
<p>
Network protocols such as TLS can be customized through a vast array of
options with unpredictable interactions and dangerous security
implications.
</p>
<p>
To fight this scenario, we are developing <i>accountable protocol
customization</i>, a framework that combines synthesis, testing, and
verification techniques to extract backward-compatible, lean protocol
subsets while meeting realistic functional and security requirements.
Our ultimate goal is to target widely used standards for network
infrastructure, secure messaging, federated authentication, and the
Internet of Things.
</p>
<p>
Accountable protocol customization is a joint collaboration led by
researchers at Carnegie Mellon University, University of Pennsylvania
and Stanford University, and funded by the Office of Naval Research.
</p>
<p>
<a href="https://www.ece.cmu.edu/news-and-events/story/2018/09/onr-grant-software-reduction.html">News
story on CMU website</a>
</p>
<h2>People</h2>
<div id="faculty" class="row people">
<div class="person">
<img src="img/anupam.jpg"> <br>
<a href="https://www.andrew.cmu.edu/user/danupam/">Anupam Datta</a> <br>
Professor,
Carnegie Mellon
</div>
<div class="person">
<img src="img/matt.jpg"> <br>
<a href="https://www.cs.cmu.edu/~mfredrik/">Matt Fredrikson</a> <br>
Associate Professor,
Carnegie Mellon
</div>
<div class="person">
<img src="img/limin.jpg"> <br>
<a href="http://www.andrew.cmu.edu/user/liminjia/">Limin Jia</a> <br>
Associate Research Professor,
Carnegie Mellon
</div>
<div class="person">
<img src="img/boon.jpg"> <br>
<a href="http://www.cis.upenn.edu/~boonloo/">Boon Thau Loo</a> <br>
Professor,
U. Penn
</div>
<div class="person">
<img src="img/john.jpg"> <br>
<a href="https://theory.stanford.edu/~jcm/">John Mitchell</a> <br>
Professor,
Stanford
</div>
<div class="person">
<img src="img/bryan.jpg"> <br>
<a href="http://www.andrew.cmu.edu/user/bparno/">Bryan Parno</a> <br>
Associate Professor,
Carnegie Mellon
</div>
<div class="person">
<img src="img/corina.jpg"> <br>
<a href="https://ti.arc.nasa.gov/profile/pcorina/">Corina Păsăreanu</a> <br>
Associate Research Professor,
Carnegie Mellon
</div>
<div class="person">
<img src="img/benjamin.jpg"> <br>
<a href="https://www.cis.upenn.edu/~bcpierce">Benjamin Pierce</a> <br>
Professor,
U. Penn
</div>
<div class="person">
<img src="img/andre.jpg"> <br>
<a href="http://www.cis.upenn.edu/~scedrov/">Andre Scedrov</a> <br>
Professor,
U. Penn
</div>
<div class="person">
<img src="img/steve.jpg"> <br>
<a href="https://www.cis.upenn.edu/~stevez">Steve Zdancewic</a> <br>
Professor,
U. Penn
</div>
</div>
<div id="post-docs" class="row people">
<div class="person">
<img src="img/arthur.jpg"> <br>
<a href="https://arthuraa.net">Arthur A. de Amorim</a> <br>
Post-Doc,
Carnegie Mellon
</div>
<div class="person">
<img src="img/karthikeyan.jpg"><br>
<a href="http://prosecco.gforge.inria.fr/personal/karthik/">Karthikeyan Bhargavan</a><br>
Researcher,
Inria
</div>
<div class="person">
<img src="img/piotr.jpg"> <br>
<a href="https://piotr.mardziel.com/">Piotr Mardziel</a> <br>
Systems Scientist,
Carnegie Mellon
</div>
</div>
<div id="logos" class="container">
<img src="img/cmu.png"><img src="img/penn.gif"><img src="img/stanford.png">
</div>
</div>
<script src="https://code.jquery.com/jquery-3.3.1.slim.min.js"
integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo"
crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.6/umd/popper.min.js"
integrity="sha384-wHAiFfRlMFy6i5SRaxvfOCifBUQy1xHdJ/yoi7FRNXMRBu5WHdZYu1hA6ZOblgut"
crossorigin="anonymous"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.2.1/js/bootstrap.min.js"
integrity="sha384-B0UglyR+jN6CkvvICOB2joaf5I4l3gm9GU6Hc1og6Ls7i6U/mkkaduKaBhlAXv9k"
crossorigin="anonymous"></script>
</body>
</html>