-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
165 lines (114 loc) · 6.88 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
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
<!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>
<div class="jsflow-header p-3 pb-md-4 mx-auto text-center">
<p class="fs-5 text-muted">
JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.
</p>
<a class="btn btn-lg btn-muted" href="https://github.com/jsflow/jsflow/archive/refs/tags/v1.2.zip" ">Download JSFlow v1.2</a>
</div>
</header>
<main>
<div class=" py-3 border-top ">
<p class=" mt-2 ">
JSFLow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow written in TypeScript. JSFlow
</p>
<ul>
<li> supports full non-strict <a href="https://262.ecma-international.org/5.1/ " class="text-muted " target="_blank ">ECMA-262 v.5</a>
including the standard API,
<li> provides dynamic (runtime) tracking and verification of security labels,
<li> can be compiled to JavaScript, which enables flexibility in the deployment of JSFlow.
</ul>
<p>
We
invite you to try the <a href="jsflow-console.html "class=" text-muted ">console</a>, or tackle the <a
href="jsflow-challenge.html "class=" text-muted ">challenge</a>.
</p>
</div>
<div class=" py-3 border-top ">
<span class=" fs-4 "> Contributors </span>
<p class=" mt-2 ">
JSFlow is developed by Andrei Sabelfeld's research group at the Department of Computer
Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden and Daniel
Hedin, Mälardalen University, Västerås, Sweden.
</p>
<ul>
<li>Daniel Hedin</li>
<li> <a href=" http://www.cse.chalmers.se/~andrei/ " class=" text-muted ">Andrei Sabelfeld</a>
</li>
<li> <a href=" https://alexandersjosten.github.io " class=" text-muted ">Alexander Sjösten</a>
</li>
</ul>
</div>
<div class=" py-3 border-top ">
<span class=" fs-4 "> Past contributors </span>
<ul>
<li> Luciano Bello
<li> Arnar Birgisson
</ul>
</div>
<div class=" py-3 border-top ">
<span class=" fs-4 "> Acknowledgments </span>
<p class=" mt-2 ">
This work has been partly funded by the European Community under the ProSecuToR, WebSand,
and FlowShield projects and the Swedish Foundation for Strategic Research (SSF) under the
WebSec project.
</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>