list of past tutorials - dsn 2016 of past tutorials dsn 2012 (boston, usa) tool!supported...

List of past tutorials

DSN 2012 (Boston, USA) Tool-­‐Supported Model-­‐Based Safety Analysis

Frank Ortmeier, Otto Von Guericke, University of Magdeburg, Germany.

Software Fault Injection for the Assessment of Critical Systems Domenico Cotroneo and Roberto Natella – Universita’ di Napoli “Federico II”, Italy.

From Reliable to Secure Distributed Programming Christian Cachin – IBM research Zurich, Switzerland.

DSN 2013 (Budapest, Hungary) Living in a Trustworthy Cyberspace

Roberto Baldoni – Universita’ di Roma “Sapienza”, Italy.

Correct-by-Construction Development of Dependable Systems Alexander Romanovsky – Newcastle University, U.K.

Beyond the Glamour of Byzantine Fault Tolerance – OR why resisting intrusions means more than BFT Paulo Veríssimo - University of Luxemburg, Luxemburg.

DSN 2014 (Atlanta, USA) Biologically Inspired Networking Approaches as Building Blocks for Distributed Systems

Michele Nogueira - Federal University of Paraná, Curitiba, Brazil. Ozan Tonguz – Carnegie Mellon University. Ruairi de Frein – “Telecommunications Software & Systems Group” (TSSG), Ireland.

Impact of Soft Errors on Microprocessors Cristian Constantinescu – AMD.

DSN 2015 (Rio de Janeiro, Brazil) Techniques and Tools to Defend against Web Application’s Software Vulnerabilities

Nuno Antunes and Marco Vieira - University of Coimbra, Portugal.

Mitigation of soft errors: from adding selective redundancy to changing the abstraction stack Luigi Carro, Álvaro Moreira and Paolo Rech - Federal University of Rio Grande do Sul, Brazil

Disaster Recovery for Enterprise-Class Clouds Rick Harper and Hari Ramasamy and Long Wang – IBM TJ Watson Research Center, USA Mahesh Viswanathan – IBM Cloud Managed Services, USA

Cyber-Physical Control Systems: Vulnerabilities, Threats, and Mitigations Saman Zonouz – Rutgers University, USA Katherine Davis – University of Illinois at Urbana-Champaign, USA