<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><br>
</p>
<div class="moz-forward-container"><br>
<br>
-------- Forwarded Message --------
<table class="moz-email-headers-table" cellspacing="0"
cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[ece-dep] Lecture by Prof. Vassilis Zikas on Security of
Blockchains, Friday 8/3, 17:00, Multimedia Amphitheater</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Wed, 06 Mar 2019 08:59:15 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Aris Pagourtzis <a class="moz-txt-link-rfc2396E" href="mailto:pagour@cs.ntua.gr"><pagour@cs.ntua.gr></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Reply-To:
</th>
<td><a class="moz-txt-link-abbreviated" href="mailto:pagour@cs.ntua.gr">pagour@cs.ntua.gr</a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Organisation:
</th>
<td>National Technical University of Athens</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td>Dep <a class="moz-txt-link-rfc2396E" href="mailto:dep@ece.ntua.gr"><dep@ece.ntua.gr></a></td>
</tr>
</tbody>
</table>
<br>
<br>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<p><br>
</p>
<p><!-- html ignored --><!-- head ignored --><!-- meta ignored --></p>
<p>Αγαπητοί συνάδελφοι,</p>
<p>Με χαρά σας προσκαλούμε σε ομιλία εξαιρετικού συναδέλφου,
αποφοίτου του ΕΜΠ, που θα γίνει την Παρασκευή 8/3 στο Αμφ.
Πολυμέσων, ώρα 17:00. </p>
<p>Παρακαλώ προωθήστε σε φοιτητές και συνεργάτες σας.</p>
<p>Με εκτίμηση,</p>
<p>Άρης Παγουρτζής</p>
<p><br>
</p>
<div>
<div style="color: #222222;"><strong>Title:</strong> Security of
Blockchains against Incentive-Driven Attacks</div>
<div style="color: #222222;"> </div>
<div style="color: #222222;"><strong>Abstract: </strong>In
traditional cryptographic analysis, an application or protocol
is deemed "secure" if it realizes its task against <em><strong>any </strong></em>adversarial
strategy, however mischievous. While this approach yields
strong security guarantees, in many cases it's overpessimistic
since it neglects the incentives that lead participants to
deviate from their prescribed behavior, resulting in solutions
that defend against unlikely attacks.</div>
<div style="color: #222222;"> </div>
<div style="color: #222222;">In this talk we present the
"Rational Protocol Design" (RPD) framework, which formally
incorporates adversarial incentives into a composable
cryptographic protocol design. We showcase the benefits of the
framework by applying it—in combination with recent
developments on the composable analysis of blockchains—to
analyze blockchain protocols like Bitcoin. Our treatment
captures, in a cryptographic framework, how knowledge of the
attacker's incentives can be used to circumvent known
impossibility results and/or derive a fallback
rational-security notion.</div>
<div style="color: #222222;"> </div>
<div style="color: #222222;"><strong>—— </strong></div>
<div style="color: #222222;"><strong> </strong></div>
<div style="color: #222222;"><strong>Bio: <span
class="gmail-m_-7554072420442878078gmail-il"
style="font-weight: 400;">Vassilis</span><span
style="font-weight: 400;"> Zikas is an Associate Professor
and Vice-Director of the Blockchain Technology Laboratory
at the University of Edinburgh. He is also a Research
Fellow (Area Leader: Secure Multiparty Computation) of the
blockchain company IOHK. He was previously Assistant
Professor at the Computer Science department at Rensselaer
Polytechnic Institute (RPI), Senior Research Associate in
Cryptography and Information Security at ETH Zurich,
Research Fellow of the Simons Institute for the Theory of
Computing, UC Berkeley, and postdoctoral researcher at
UCLA and at the University of Maryland. His research has
been supported by a career development (Ambizione) grant
and a postdoctoral fellowship from the Swiss National
Science Foundation. </span></strong>Vassilis received his
PhD from the Computer Science Department of ETH</div>
</div>
<div>
<div><span>Zurich and his diploma from the School of Applied
Mathematical and</span><br>
<span>Physical Sciences at NTUA, and has been a long-term
affiliate of</span><br>
<span>the Computation and Reasoning Lab (CoReLab) of NTUA.</span></div>
</div>
</div>
</body>
</html>