-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpublications.html
202 lines (154 loc) · 9.63 KB
/
publications.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
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
<!doctype html>
<html lang="en">
<head>
<!-- Required meta tags -->
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-HF4HSC64G3"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag() {
dataLayer.push(arguments);
}
gtag('js', new Date());
gtag('config', 'G-HF4HSC64G3');
</script>
<!-- Bootstrap CSS -->
<link href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-+0n0xVW2eSR5OomGNYDnhzAbDsOXxcvSN1TPprVMTNDbiYZCxYbOOl7+AMvyTG2x" crossorigin="anonymous">
<title>JSFlow</title>
<link href="css/jsflow.css" rel="stylesheet">
</head>
<body>
<div class="container py-3">
<header>
<div class="d-flex flex-column flex-md-row align-items-center pb-3 mb-4 border-bottom">
<a href="index.html" class="d-flex align-items-center text-dark text-decoration-none">
<span class="fs-4">JSFlow</span>
</a>
<nav class="d-inline-flex mt-2 mt-md-0 ms-md-auto">
<a class="me-3 py-2 text-dark text-decoration-none" href="https://github.com/jsflow/jsflow" target="_blank">
<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" class="bi bi-github" viewBox="0 0 16 16">
<path
d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.012 8.012 0 0 0 16 8c0-4.42-3.58-8-8-8z" />
</svg>
</a>
<a class="me-3 py-2 text-dark text-decoration-none" href="publications.html">Publications</a>
<a class="me-3 py-2 text-dark text-decoration-none" href="jsflow-console.html">Console</a>
<a class="py-2 text-dark text-decoration-none" href="jsflow-challenge.html">Challenge</a>
</nav>
</div>
</header>
<main>
<div class="py-3 ">
<span class="fs-4"> Publications </span>
<p class="mt-2">
JSFlow rests on a solid theroetical foundation of dynamic information flow for JavaScript.
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/research/group/security/publications/2018/side-effectful-libraries/forte-18.pdf" class="text-muted" target="_blank">
<strong>Information Flow Tracking for Side-effectful Libraries.</strong>
</a> <br> Alexander Sjösten, Daniel Hedin, and Andrei Sabelfeld </br>
In <em>Proceedings of the International Conference on Formal Techniques for Distributed Objects,
Components, and
Systems (FORTE)</em> Madrid, Spain, June 2018.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/research/group/security/publications/2017/libraries/post-17.pdf" class="text-muted" target="_blank">
<strong>A Principled Approach to Tracking Information Flow in the Presence of
Libraries.</strong>
</a> <br> Daniel Hedin, Alexander Sjösten, Frank Piessens, and Andrei Sabelfeld </br>
In <em>Proceedings of the International Conference on Principles of Security and Trust
(POST)</em> Uppsala, Sweden, April 2017.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/lpar15.pdf" class="text-muted" target="_blank">
<strong>Value Sensitivity and Observable Abstract Values for Information Flow
Control.</strong>
</a> <br> Luciano Bello, Daniel Hedin, and Andrei Sabelfeld </br>
In <em>Proceedings of the International Conferences on Logic for Programming, Artificial
Intelligence and
Reasoning (LPAR)</em> Suva, Fiji, November 2015.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/csf15-hybrid.pdf" class="text-muted" target="_blank">
<strong>Value-sensitive Hybrid Information Flow Control for a JavaScript-like
Language.</strong>
</a> <br> Daniel Hedin, Luciano Bello, and Andrei Sabelfeld </br>
In <em>Proceedings of the IEEE Computer Security Foundations Symposium (CSF)</em> Verona, Italy, July 2015.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/sac14.pdf" class="text-muted" target="_blank">
<strong>JSFlow: Tracking Information Flow in JavaScript and its APIs.</strong>
</a> <br> Daniel Hedin, Arnar Birgisson, Luciano Bello, and Andrei Sabelfeld </br>
In <em>Proceedings of the ACM Symposium on Applied Computing (SAC)</em>, Gyeongju, Korea, March 2014
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/essos14.pdf" class="text-muted" target="_blank">
<strong>Architectures for Inlining Security Monitors in Web Application.</strong>
</a> <br> Jonas Magazinius, Daniel Hedin, and Andrei Sabelfeld </br>
In <em>Proceedings of the International Symposium on Engineering Secure Software and Systems
(ESSoS)</em>, Munich, Germany, February 2014.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/jsflow-csf12.pdf" class="text-muted" target="_blank"><strong>Information-flow security
for a core of JavaScript.</strong> </a> <br> Daniel Hedin, and Andrei Sabelfeld </br>
In <em>Proceedings of the IEEE Computer Security Foundations Symposium</em>, Harvard University, Cambridge MA, June 25-27, 2012. IEEE Computer Society Press.
</div>
</div>
</p>
<p>
<div class="row">
<div class="span12">
<a href="http://www.cse.chalmers.se/~andrei/esorics12.pdf" class="text-muted" target="_blank">
<strong>Boosting the Permissiveness
of Dynamic Information-Flow Tracking by Testing.</strong> </a> <br> Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld </br>
In <em>Proceedings of the European Symposium on Research in Computer Security (ESORICS)</em>, Pisa, Italy, September 2012, LNCS, Springer-Verlag.
</div>
</div>
</p>
</div>
</main>
<footer class="pt-4 my-md-5 border-top">
<small class="d-block mb-3 text-muted">Chalmers University of Technology and Mälardalen
University</small>
</footer>
</div>
</body>
</html>
<!-- Optional JavaScript; choose one of the two! -->
<!-- Option 1: Bootstrap Bundle with Popper -->
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.bundle.min.js" integrity="sha384-gtEjrD/SeCtmISkJkNUaaKMoLD0//ElJ19smozuHV6z3Iehds+3Ulb9Bn9Plx0x4" crossorigin="anonymous"></script>
<!-- Option 2: Separate Popper and Bootstrap JS -->
<!--
<script src="https://cdn.jsdelivr.net/npm/@popperjs/[email protected]/dist/umd/popper.min.js" integrity="sha384-IQsoLXl5PILFhosVNubq5LC7Qb9DXgDA9i+tQ8Zj3iwWAwPtgFTxbJ8NT4GN1R8p" crossorigin="anonymous"></script>
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.min.js" integrity="sha384-Atwg2Pkwv9vp0ygtn1JAojH0nYbwNJLPhwyoVbhoPwBhjQPR5VtM2+xf0Uwh9KtT" crossorigin="anonymous"></script>
-->
</body>
</html>