list of past tutorials - dsn 2016 of past tutorials dsn 2012 (boston, usa) tool!supported...
TRANSCRIPT
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