2018-annual-report

26. Joseph Izraelevitz. Distributed Algorithms
over RDMA. Microsoft Research, Cambridge,
UK. July 2018.
27. Maximiliano Klemens. Resource-Aware
Software Development. Digital Infrastructures
Workshop. EIT Digital Doctoral
School, Madrid Node, Madrid, Spain. May
2018.
28. Platon Kotzias. A Birds-Eye View of the
Cyber Threat Landscape. IE Business
School, Madrid, Spain. November 2018.
29. Platon Kotzias. Coming of Age: A Longitudinal
Study of TLS Deployment. IMDEA
Networks Institute, Madrid, Spain. October
2018.
30. Platon Kotzias. Coming of Age: A Longitudinal
Study of TLS Deployment. Jornadas
REDIMadrid, Madrid, Spain. October, 2018
36. Luca Nizzardo. Bitcoin and Beyond (?), a
Cryptographic Point of View. Invited Talk at
Codemotion Blockchain and Crypto Values
Conference, Milan, Italy. June 2018.
37. Luca Nizzardo. Bitcoin and Beyond (?).
Workshop “La moneta tra Stato e Mercato,
quale orizzonte per le valute virtuali”.
Milano-Bicocca University, Milan, Italy.
April 2018.
38. Luca Nizzardo. Fair Exchange over Bitcoin:
Zero Knowledge Contingent Payments (and
more). Invited talk at Milano-Bicocca University,
Department of Computer Science,
, Milan, Italy. April 2018.
39. César Sánchez. Tutorial: “Online and
Offline Stream Runtime Verification of Synchronous
Systems”. The 18th International
Conference on Runtime Verification, Limassol,
Cyprus. November 2018.
87
annual report
20
31. Platon Kotzias. A Lustrum of Malware
Network Communication: Evolution and
Insights. Journées Nationales 2018 Pré-
GDR Sécurité Informatique, Paris, France.
June 2018.
32. Boris Köpf. Security & Correctness in the
IoT. Summer School, Graz, Austria. September
2018.
33. Aleks Nanevski. Type and Proof Structures
for Concurrent Software Verification,
University of Salzburg, Salzburg, Austria.
August 2018.
34. Aleks Nanevski. Type and Proof Structures
for Concurrent Software Verification. TU
Wien, Wien, Austria. August 2018.
35. Luca Nizzardo. Bitcoin y más allá: Cómo
extender las funcionalidades de Bitcoin
usando Criptografía. Codemotion Madrid
2018, Madrid, Spain. December 2018.
40. Nataliia Stulova. Verification Challenges in
Dynamic Programming Languages. EPFL,
Lausanne, Switzerland. August 2018.
41. Pedro Valero. Regular Expression Searching
on Compressed Text. Seminar Series
at Technical University of Munich, Munic,
Germany. February 2018.
42. Niki Vazou. Liquid Haskell: Theorem Proving
for All. Scala eXchange, London, UK.
December 2018.
43. Zsolt István. Towards Providing Multi-tenant
Services with Specialized Hardware in the
Cloud. Universitatea Politehnica Bucuresti,
Bucharest, Romania. September 2018.
44. Zsolt István. Providing Multi-tenant Services
with Specialized Hardware in the Cloud.
Universidad Autonoma de Madrid, Madrid,
Spain. October 2018.