-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathresearch.html
More file actions
138 lines (127 loc) · 8.06 KB
/
research.html
File metadata and controls
138 lines (127 loc) · 8.06 KB
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
<!DOCTYPE html>
<html lang="en">
<head>
<title>FuTURES³ Lab - Research</title>
<meta name="description" content="Research areas at FuTURES Lab: Software Bug Discovery, Program Analysis, and Software Instrumentation.">
<link rel="icon" type="image/x-icon" href="favicon.ico">
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.4.1/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.4.1/js/bootstrap.min.js"></script>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.5.1/css/all.min.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons/css/academicons.min.css">
<link href="css/main.css" rel="stylesheet">
<link href='https://fonts.googleapis.com/css?family=Work Sans' rel='stylesheet'>
</head>
<body>
<div id="navbar-placeholder"></div>
<main id="main-content" role="main">
<div class="container main-container" style="margin-top:1.15em">
<section class="col-md-12" style="text-align: center; margin-bottom:50px" aria-label="Research Areas">
<br><h1 style="text-align: center">Research Areas</h1>
<hr class="wide"><br>
<!-- Card 1 -->
<article class="col-md-6" style="text-align: center">
<div class="col-md-12 card-white">
<h3 style="text-align: center">Software Bug Discovery</h3><hr class="center">
<div class="col-md-12" style="display:flex; justify-content:center; gap:20px;">
<img class="img-icon" src="img/icons/icon-magnifying.svg" alt="Magnifying glass icon representing bug search">
 
<img class="img-icon" src="img/icons/icon-bug.svg" alt="Bug icon representing software bugs">
</div>
<ul style="text-align: left; display: inline-block; margin-bottom:10px">
<li>Feedback-driven fuzzing</li>
<li>Fuzzing harness generation</li>
<li>Domain-specific fuzzing</li>
</ul>
<br>
<div class="col-md-12">
<p style="text-align: center; margin-bottom:2%; margin-top:5%">
<b>Related Projects:</b>
</p><br>
<p>
<a class="badge badge-button" href="papers/.pdf" aria-label="OGHarn project paper">OGHarn</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="KConfig Tuning project paper">KConfig Tuning</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="SieveFuzz project paper">SieveFuzz</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="UnTracer project paper">UnTracer</a>
</p>
</div>
</div>
</article>
<!-- Card 2 -->
<article class="col-md-6" style="text-align: center">
<div class="col-md-12 card-white">
<h3 style="text-align: center">Program Analysis</h3><hr class="center">
<div class="col-md-12" style="display:flex; justify-content:center; gap:20px;">
<img class="img-icon" src="img/icons/icon-exe.svg" alt="Executable file icon">
 
<img class="img-icon" src="img/icons/icon-graph.svg" alt="Graph icon representing program analysis">
</div>
<ul style="text-align: left; display: inline-block; margin-bottom:10px">
<li>Binary and source analysis</li>
<li>Source-to-source translation</li>
<li>Emergent languages (e.g., Rust)</li>
</ul>
<br>
<div class="col-md-12">
<p style="text-align: center; margin-bottom:2%; margin-top:5%">
<b>Related Projects:</b>
</p><br>
<p>
<a class="badge badge-button" href="papers/.pdf" aria-label="TeTRIS project paper">TeTRIS</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="Bin2Wrong project paper">Bin2Wrong</a>
</p>
</div>
</div>
</article>
<!-- Card 3 -->
<article class="col-md-6" style="text-align: center">
<div class="col-md-12 card-white">
<h3 style="text-align: center">Software Instrumentation</h3><hr class="center">
<div class="col-md-12" style="display:flex; justify-content:center; gap:20px;">
<img class="img-icon" src="img/icons/icon-repair.svg" alt="Repair tool icon">
 
<img class="img-icon" src="img/icons/icon-gear.svg" alt="Gear icon representing instrumentation">
</div>
<ul style="text-align: left; display: inline-block; margin-bottom:10px">
<li>Software isolation</li>
<li>Static binary rewriting</li>
<li>Cross-platform instrumentation</li>
</ul>
<br>
<div class="col-md-12">
<p style="text-align: center; margin-bottom:2%; margin-top:5%">
<b>Related Projects:</b>
</p><br>
<p>
<a class="badge badge-button" href="papers/.pdf" aria-label="ZAFL project paper">ZAFL</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="HeXcite project paper">HeXcite</a>
<a class="badge badge-button" href="papers/.pdf" aria-label="WinFuzz project paper">WinFuzz</a>
</p>
</div>
</div>
</article>
<!-- Recruiting Card -->
<article class="col-md-6" style="text-align: center">
<div class="col-md-12 card-white">
<h3 style="text-align: center">Want to get involved?</h3><hr class="center">
<div class="col-md-12" style="display:flex; justify-content:center; gap:20px;">
<img class="img-icon" src="img/icons/icon-research.svg" alt="Research icon">
 
<img class="img-icon" src="img/icons/icon-finish.svg" alt="Finish line icon representing completion">
</div>
<div class="col-md-12">
<p style="text-align: justify; margin: 32px 0 40px 0">We are always looking for motivated students at all levels (<b>Ph.D.</b>, <b>M.S.</b>, and <b>undergraduate</b>). If any of our research areas or projects interest you, check out our current openings and opportunities here:</p>
<p style="text-align: center"><a class="badge badge-button" href="join" aria-label="Join the SSG - view openings">Join the SSG</a></p>
</div>
</div>
</article>
</section>
</div>
</main>
<br>
<div id="footer-placeholder"></div>
<script src="includes/load-includes.js"></script>
</body>
</html>