-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcv.html
190 lines (169 loc) · 9.2 KB
/
cv.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
<!DOCTYPE html>
<html lang="en">
<!-- START OF HEADER -->
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="IR's homepage">
<meta name="author" content="Itsaka Rakotonirina">
<title>Itsaka Rakotonirina's page</title>
<link rel="icon" href="img/logo.png" type="image/x-icon">
<!-- Bootstrap core CSS -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<!-- Custom fonts for this template -->
<link href="https://fonts.googleapis.com/css?family=Saira+Extra+Condensed:500,700" rel="stylesheet">
<link href="https://fonts.googleapis.com/css?family=Muli:400,400i,800,800i" rel="stylesheet">
<link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="css/resume.css" rel="stylesheet">
<link href="css/styles.css" rel="stylesheet">
</head>
<body id="page-top">
<nav class="navbar navbar-expand-lg navbar-light bg-primary fixed-top" id="sideNav">
<a class="navbar-brand js-scroll-trigger" href="#page-top">
<!-- <span class="d-block d-lg-none" style="color:#fff">
Itsaka Rakotonirina
</span> -->
<span class="d-none d-lg-block">
<!-- <img class="img-fluid img-profile rounded-circle mx-auto mb-5" src="img/profile.jpg" alt=""> -->
<img src="img/profile.jpg" alt="Itsaka Rakotonirina" height="300" style="text-align:center; margin-top: 15px; margin-bottom:30px; border: 2px solid #94D9F6;">
</span>
</a>
<!-- <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarSupportedContent"
aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
<span class="navbar-toggler-icon"></span>
</button> -->
<div class="navbar-collapse" id="navbarSupportedContent" style="padding-right: 20%;">
<ul class="navbar-nav">
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="index.html">Home</a>
</li>
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="cv.html">CV</a>
</li>
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="projects.html">Projects</a>
</li>
<!-- <li class="nav-item">
<a class="nav-link js-scroll-trigger" href="slides.html">Presentations</a>
</li> -->
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="publications.html">Publications</a>
</li>
</ul>
</div>
<div class="collapse navbar-collapse mb-3">
<div class="container" style="margin-bottom:10px; text-align: center">
<span style="margin:3px">
<a class="a-icon" href="https://dblp.uni-trier.de/pid/223/5215.html">
<img class="nav-img my-icon" src="img/dblp.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="https://github.com/irakoton">
<img class="nav-img my-icon" src="img/github.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="https://gitlab.com/irakoton">
<img class="nav-img my-icon" src="img/gitlab.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="mailto:[email protected]">
<img class="nav-img my-icon" src="img/email.png">
</a>
</span>
</div>
</div>
</nav>
<!-- dirty hack: skip space on mobile mode so that menu does not overlap on content -->
<span class="d-block d-lg-none">
<br><br><br><br>
<!-- skip additional spaces if navbar entries are added -->
</span>
<!-- END OF HEADER --><hr class="m-0">
<section class="resume-section p-3 p-lg-5 d-flex justify-items-center" id="education">
<div class="w-100">
<h2 class="mb-5">CV</h2>
<span><i class="fa fa-lightbulb-o", style="color:#4076B3;font-size:20px;"></i><span style="margin-left: 10px">See the <a href="publications.html">Publications</a> and <a href="projects.html">Projects</a> pages for more information about the works mentioned below.</span></span>
<br>
<br>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3 class="mb-0">Post-doc</h3>
<div class="subheading mb-3">Max-Planck Institute for Security and Privacy, Bochum (Germany)</div>
<p class="my-paragraph">
under the supervision of <a href="https://gbarthe.github.io/">Gilles Barthe</a>.
I am currently working at the newly-founded MPI in Bochum, and my current projects try to connect the symbolic techniques I developed during my thesis to other areas of security than cryptographic protocols.
<!-- More updates soon :) -->
</p>
</div>
<div class="resume-date text-md-right">
<span class="text-primary">Oct 2020 - <b>now</b></span>
</div>
</div>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3 class="mb-0">PhD of computer science</h3>
<div class="subheading mb-3">Univerité de Lorraine (France)</div>
<p class="my-paragraph">
under the supervision of Steve Kremer and Vincent Cheval.
I developed and implemented symbolic techniques for formalising and analysing automatedly security protocols.
I typically contributed to the theory and development of the <a href="https://deepsec-prover.github.io/">DeepSec prover</a> for analysing privacy-type properties.
<!-- My thesis has lead to the following four publications (see the <a href="publications.html">publication page</a> for details):
<ul>
<li><em>DEEPSEC: Deciding equivalence properties in security protocols, theory and practice</em>, a paper presenting the theory behind the DeepSec prover at <b>S&P 2018</b></li>
<li><em>The DEEPSEC prover</em>, a tool paper at <b>CAV 2018</b></li>
<li><em>Exploiting symmetries when proving equivalence properties for security protocols</em>, a paper presenting optimisations for DeepSec at <b>CCS 2019</b></li>
<li><em>The hitchhiker’s guide to decidability and complexity of equivalence properties in security protocols</em>, a survey of decidability results for the problem tackled by DeepSec, at the occasion of a <b>Festschrift for Andre Scedrov 2020</b></li>
</ul> -->
</p>
</div>
<div class="resume-date text-md-right">
<span class="text-primary">Oct 2017 - Feb 2021</span>
</div>
</div>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3 class="mb-0">Research internship</h3>
<div class="subheading mb-3">Microsoft Research Cambridge (UK)</div>
<p class="my-paragraph">
under the supervision of <a href="https://www.microsoft.com/en-us/research/people/antdl/">Antoine Delignat-Lavaud</a> and <a href="https://www.microsoft.com/en-us/research/people/fournet/">Cédric Fournet</a>.
I worked on the formal specification, implementation and proof of the IETF version of the QUIC protocol (still in standardisation at
the time of the internship).
I contributed to this long-time effort by writing proofs for the packet parsing/encryption of QUIC, using the F* proof
assistant.
<!-- The overall work has been published at <b>S&P</b> in 2021 (<em>A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer</em>). -->
</p>
</div>
<div class="resume-date text-md-right">
<span class="text-primary">Jul 2019 - Oct 2019</span>
</div>
</div>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3 class="mb-0">Research internship</h3>
<div class="subheading mb-3">IMDEA Software Institute (Spain)</div>
<p class="my-paragraph">
under the supervision of <a href="https://boriskoepf.de/">Boris Köpf</a>.
I studied and formalised the information leakage of cryptographic secrets to attackers measuring the execution time of sensitive programs.
<!-- This work has been published at <b>EuroS&P</b> in 2019 (<em>On Aggregation of Information in Timing Attacks</em>). -->
</p>
</div>
<div class="resume-date text-md-right">
<span class="text-primary">Oct 2016 - Aug 2017</span>
</div>
</div>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3 class="mb-0">Master Degree of computer science</h3>
<div class="subheading mb-3">École Normale Supérieure de Cachan (France)</div>
</div>
<div class="resume-date text-md-right">
<span class="text-primary">Sep 2014 - Sep 2016</span>
</div>
</div>
</div>
</section></body>
</html>