Skip to content

Commit bc34454

Browse files
irakotonirakoton
committed
talks
1 parent 4552156 commit bc34454

File tree

4 files changed

+60
-58
lines changed

4 files changed

+60
-58
lines changed

‎cv.pages renamed to ‎cv/cv.pages

260 KB
Binary file not shown.

‎cv/cv_priv.pages

258 KB
Binary file not shown.

‎publications.html

Lines changed: 30 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ <h2 class="mb-5">Publications</h2>
108108
<!-- <script type="text/javascript" src="copy.js"></script> -->
109109

110110
<div class="files">
111-
<a href="bib/papers.bib">Complete Bibtex</a>
111+
<a href="bib/papers.bib">📖 Complete Bibtex</a>
112112
</div>
113113
<br>
114114
<!-- <h3 class="mb-3">2021</h3> -->
@@ -124,8 +124,9 @@ <h3 class="title">
124124
<span class="conftype">conference paper</span> In the ACM Conference on Computer and Communications Security (<b>CCS</b>), 2022
125125
</p>
126126
<div class="files">
127-
<a href="docs/22-ccs.pdf">Paper</a>
128-
<a href="bib/22-BDM.bib">Bibtex</a>
127+
<a href="docs/22-ccs.pdf">📝 Paper</a>
128+
<a href="bib/22-BDM.bib">📖 Bibtex</a>
129+
<a href="https://youtu.be/-HFkoBYdkzc">🎙 Talk</a>
129130
</div>
130131
</div>
131132

@@ -140,8 +141,8 @@ <h3 class="title">
140141
<span class="conftype">conference paper</span> In the ACM Symposium on Information, Computer and Communications Security (<b>ASIA CCS</b>), 2022
141142
</p>
142143
<div class="files">
143-
<a href="docs/22-asiaccs.pdf">Paper</a>
144-
<a href="bib/22-RAA.bib">Bibtex</a>
144+
<a href="docs/22-asiaccs.pdf">📝 Paper</a>
145+
<a href="bib/22-RAA.bib">📖 Bibtex</a>
145146
</div>
146147
</div>
147148

@@ -156,9 +157,10 @@ <h3 class="title">
156157
<span class="conftype">conference paper</span> In Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday (<b>GuttmanFest</b>), 2021
157158
</p>
158159
<div class="files">
159-
<a href="docs/21-guttman.pdf">Paper</a>
160+
<a href="docs/21-guttman.pdf">📝 Paper</a>
160161
<a href="docs/crypto_teacher_training.pdf">Teacher training (in French)</a>
161-
<a href="bib/21-CR.bib">Bibtex</a>
162+
<a href="bib/21-CR.bib">📖 Bibtex</a>
163+
<a href="https://youtu.be/hCn8_eXYakA">🎙 Talk</a>
162164
</div>
163165
</div>
164166

@@ -174,11 +176,10 @@ <h3 class="title2">
174176
</p>
175177

176178
<div class="files">
177-
<a href="https://github.com/irakoton/phd-files/files/9850709/dissertation.pdf">Dissertation</a>
178-
<a href="https://github.com/irakoton/phd-files/releases/tag/final">Related files</a>
179-
<!-- <button onclick="AdvancedCopy('bib/R21.bib')">Copy Bibtex</button>
180-
<span id="custom-tooltip">copied!</span> -->
181-
<a href="bib/21-R.bib">Bibtex</a>
179+
<a href="https://github.com/irakoton/phd-files/files/9850709/dissertation.pdf">📝 Dissertation</a>
180+
<a href="https://github.com/irakoton/phd-files/releases/tag/final">🖥 Related files</a>
181+
<a href="bib/21-R.bib">📖 Bibtex</a>
182+
<a href="https://youtu.be/ul4SAjpHitw">🎙 Talk</a>
182183
</div>
183184
</div>
184185

@@ -201,9 +202,9 @@ <h3 class="title">
201202
<span class="conftype">conference paper</span> In the IEEE Symposium on Security and Privacy (<b>S&P</b>), 2021
202203
</p>
203204
<div class="files">
204-
<a href="https://eprint.iacr.org/2020/114">Paper</a>
205-
<a href="https://github.com/project-everest/QUIC-FStar">Formalisation</a>
206-
<a href="bib/21-DFP.bib">Bibtex</a>
205+
<a href="https://eprint.iacr.org/2020/114">📝 Paper</a>
206+
<a href="https://github.com/project-everest/QUIC-FStar">🖥 Formalisation</a>
207+
<a href="bib/21-DFP.bib">📖 Bibtex</a>
207208
</div>
208209
</div>
209210

@@ -218,9 +219,9 @@ <h3 class="title">
218219
<span class="conftype">conference paper</span> In Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (<b>ScedrovFest65</b>), 2020
219220
</p>
220221
<div class="files">
221-
<a href="docs/20-scedrov.pdf">Paper</a>
222-
<a href="https://hal.archives-ouvertes.fr/hal-02501577v1/document">Technical report</a>
223-
<a href="bib/20-CKR.bib">Bibtex</a>
222+
<a href="docs/20-scedrov.pdf">📝 Paper</a>
223+
<a href="https://hal.archives-ouvertes.fr/hal-02501577v1/document">📝 Technical report</a>
224+
<a href="bib/20-CKR.bib">📖 Bibtex</a>
224225
</div>
225226
</div>
226227

@@ -235,9 +236,9 @@ <h3 class="title">
235236
<span class="conftype">conference paper</span> In the ACM Conference on Computer and Communications Security (<b>CCS</b>), 2019
236237
</p>
237238
<div class="files">
238-
<a href="docs/19-ccs.pdf">Paper</a>
239-
<a href="https://hal.archives-ouvertes.fr/hal-02267866/document">Technical report</a>
240-
<a href="bib/19-CKR.bib">Bibtex</a>
239+
<a href="docs/19-ccs.pdf">📝 Paper</a>
240+
<a href="https://hal.archives-ouvertes.fr/hal-02267866/document">📝 Technical report</a>
241+
<a href="bib/19-CKR.bib">📖 Bibtex</a>
241242
</div>
242243
</div>
243244

@@ -252,8 +253,8 @@ <h3 class="title">
252253
<span class="conftype">conference paper</span> In the IEEE European Symposium on Security and Privacy (<b>EuroS&P</b>), 2019
253254
</p>
254255
<div class="files">
255-
<a href="docs/19-eurosp.pdf">Paper</a>
256-
<a href="bib/19-RK.bib">Bibtex</a>
256+
<a href="docs/19-eurosp.pdf">📝 Paper</a>
257+
<a href="bib/19-RK.bib">📖 Bibtex</a>
257258
</div>
258259
</div>
259260

@@ -268,9 +269,9 @@ <h3 class="title">
268269
<span class="conftype">conference paper</span> In the International Conference on Computer Aided Verification (<b>CAV</b>), 2018
269270
</p>
270271
<div class="files">
271-
<a href="docs/18-cav.pdf">Paper</a>
272-
<a href="https://deepsec-prover.github.io/">Tool website</a>
273-
<a href="bib/18-CKRa.bib">Bibtex</a>
272+
<a href="docs/18-cav.pdf">📝 Paper</a>
273+
<a href="https://deepsec-prover.github.io/">🖥 Tool website</a>
274+
<a href="bib/18-CKRa.bib">📖 Bibtex</a>
274275
</div>
275276
</div>
276277

@@ -285,9 +286,9 @@ <h3 class="title">
285286
<span class="conftype">conference paper</span> In the IEEE Symposium on Security and Privacy (<b>S&P</b>) 2018. <b>Distinguished paper award</b>
286287
</p>
287288
<div class="files">
288-
<a href="docs/18-sp.pdf">Paper</a>
289-
<a href="https://hal.inria.fr/hal-01698177/document">Technical report</a>
290-
<a href="bib/18-CKR.bib">Bibtex</a>
289+
<a href="docs/18-sp.pdf">📝 Paper</a>
290+
<a href="https://hal.inria.fr/hal-01698177/document">📝 Technical report</a>
291+
<a href="bib/18-CKR.bib">📖 Bibtex</a>
291292
</div>
292293
</div>
293294

‎sources_html/publications_source.html

Lines changed: 30 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ <h2 class="mb-5">Publications</h2>
1010
<!-- <script type="text/javascript" src="copy.js"></script> -->
1111

1212
<div class="files">
13-
<a href="bib/papers.bib">Complete Bibtex</a>
13+
<a href="bib/papers.bib">📖 Complete Bibtex</a>
1414
</div>
1515
<br>
1616
<!-- <h3 class="mb-3">2021</h3> -->
@@ -26,8 +26,9 @@ <h3 class="title">
2626
<span class="conftype">conference paper</span> In the ACM Conference on Computer and Communications Security (<b>CCS</b>), 2022
2727
</p>
2828
<div class="files">
29-
<a href="docs/22-ccs.pdf">Paper</a>
30-
<a href="bib/22-BDM.bib">Bibtex</a>
29+
<a href="docs/22-ccs.pdf">📝 Paper</a>
30+
<a href="bib/22-BDM.bib">📖 Bibtex</a>
31+
<a href="https://youtu.be/-HFkoBYdkzc">🎙 Talk</a>
3132
</div>
3233
</div>
3334

@@ -42,8 +43,8 @@ <h3 class="title">
4243
<span class="conftype">conference paper</span> In the ACM Symposium on Information, Computer and Communications Security (<b>ASIA CCS</b>), 2022
4344
</p>
4445
<div class="files">
45-
<a href="docs/22-asiaccs.pdf">Paper</a>
46-
<a href="bib/22-RAA.bib">Bibtex</a>
46+
<a href="docs/22-asiaccs.pdf">📝 Paper</a>
47+
<a href="bib/22-RAA.bib">📖 Bibtex</a>
4748
</div>
4849
</div>
4950

@@ -58,9 +59,10 @@ <h3 class="title">
5859
<span class="conftype">conference paper</span> In Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday (<b>GuttmanFest</b>), 2021
5960
</p>
6061
<div class="files">
61-
<a href="docs/21-guttman.pdf">Paper</a>
62+
<a href="docs/21-guttman.pdf">📝 Paper</a>
6263
<a href="docs/crypto_teacher_training.pdf">Teacher training (in French)</a>
63-
<a href="bib/21-CR.bib">Bibtex</a>
64+
<a href="bib/21-CR.bib">📖 Bibtex</a>
65+
<a href="https://youtu.be/hCn8_eXYakA">🎙 Talk</a>
6466
</div>
6567
</div>
6668

@@ -76,11 +78,10 @@ <h3 class="title2">
7678
</p>
7779

7880
<div class="files">
79-
<a href="https://github.com/irakoton/phd-files/files/9850709/dissertation.pdf">Dissertation</a>
80-
<a href="https://github.com/irakoton/phd-files/releases/tag/final">Related files</a>
81-
<!-- <button onclick="AdvancedCopy('bib/R21.bib')">Copy Bibtex</button>
82-
<span id="custom-tooltip">copied!</span> -->
83-
<a href="bib/21-R.bib">Bibtex</a>
81+
<a href="https://github.com/irakoton/phd-files/files/9850709/dissertation.pdf">📝 Dissertation</a>
82+
<a href="https://github.com/irakoton/phd-files/releases/tag/final">🖥 Related files</a>
83+
<a href="bib/21-R.bib">📖 Bibtex</a>
84+
<a href="https://youtu.be/ul4SAjpHitw">🎙 Talk</a>
8485
</div>
8586
</div>
8687

@@ -103,9 +104,9 @@ <h3 class="title">
103104
<span class="conftype">conference paper</span> In the IEEE Symposium on Security and Privacy (<b>S&P</b>), 2021
104105
</p>
105106
<div class="files">
106-
<a href="https://eprint.iacr.org/2020/114">Paper</a>
107-
<a href="https://github.com/project-everest/QUIC-FStar">Formalisation</a>
108-
<a href="bib/21-DFP.bib">Bibtex</a>
107+
<a href="https://eprint.iacr.org/2020/114">📝 Paper</a>
108+
<a href="https://github.com/project-everest/QUIC-FStar">🖥 Formalisation</a>
109+
<a href="bib/21-DFP.bib">📖 Bibtex</a>
109110
</div>
110111
</div>
111112

@@ -120,9 +121,9 @@ <h3 class="title">
120121
<span class="conftype">conference paper</span> In Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (<b>ScedrovFest65</b>), 2020
121122
</p>
122123
<div class="files">
123-
<a href="docs/20-scedrov.pdf">Paper</a>
124-
<a href="https://hal.archives-ouvertes.fr/hal-02501577v1/document">Technical report</a>
125-
<a href="bib/20-CKR.bib">Bibtex</a>
124+
<a href="docs/20-scedrov.pdf">📝 Paper</a>
125+
<a href="https://hal.archives-ouvertes.fr/hal-02501577v1/document">📝 Technical report</a>
126+
<a href="bib/20-CKR.bib">📖 Bibtex</a>
126127
</div>
127128
</div>
128129

@@ -137,9 +138,9 @@ <h3 class="title">
137138
<span class="conftype">conference paper</span> In the ACM Conference on Computer and Communications Security (<b>CCS</b>), 2019
138139
</p>
139140
<div class="files">
140-
<a href="docs/19-ccs.pdf">Paper</a>
141-
<a href="https://hal.archives-ouvertes.fr/hal-02267866/document">Technical report</a>
142-
<a href="bib/19-CKR.bib">Bibtex</a>
141+
<a href="docs/19-ccs.pdf">📝 Paper</a>
142+
<a href="https://hal.archives-ouvertes.fr/hal-02267866/document">📝 Technical report</a>
143+
<a href="bib/19-CKR.bib">📖 Bibtex</a>
143144
</div>
144145
</div>
145146

@@ -154,8 +155,8 @@ <h3 class="title">
154155
<span class="conftype">conference paper</span> In the IEEE European Symposium on Security and Privacy (<b>EuroS&P</b>), 2019
155156
</p>
156157
<div class="files">
157-
<a href="docs/19-eurosp.pdf">Paper</a>
158-
<a href="bib/19-RK.bib">Bibtex</a>
158+
<a href="docs/19-eurosp.pdf">📝 Paper</a>
159+
<a href="bib/19-RK.bib">📖 Bibtex</a>
159160
</div>
160161
</div>
161162

@@ -170,9 +171,9 @@ <h3 class="title">
170171
<span class="conftype">conference paper</span> In the International Conference on Computer Aided Verification (<b>CAV</b>), 2018
171172
</p>
172173
<div class="files">
173-
<a href="docs/18-cav.pdf">Paper</a>
174-
<a href="https://deepsec-prover.github.io/">Tool website</a>
175-
<a href="bib/18-CKRa.bib">Bibtex</a>
174+
<a href="docs/18-cav.pdf">📝 Paper</a>
175+
<a href="https://deepsec-prover.github.io/">🖥 Tool website</a>
176+
<a href="bib/18-CKRa.bib">📖 Bibtex</a>
176177
</div>
177178
</div>
178179

@@ -187,9 +188,9 @@ <h3 class="title">
187188
<span class="conftype">conference paper</span> In the IEEE Symposium on Security and Privacy (<b>S&P</b>) 2018. <b>Distinguished paper award</b>
188189
</p>
189190
<div class="files">
190-
<a href="docs/18-sp.pdf">Paper</a>
191-
<a href="https://hal.inria.fr/hal-01698177/document">Technical report</a>
192-
<a href="bib/18-CKR.bib">Bibtex</a>
191+
<a href="docs/18-sp.pdf">📝 Paper</a>
192+
<a href="https://hal.inria.fr/hal-01698177/document">📝 Technical report</a>
193+
<a href="bib/18-CKR.bib">📖 Bibtex</a>
193194
</div>
194195
</div>
195196

0 commit comments

Comments
 (0)