List of past tutorials DSN 2012 (Boston, USA) ToolSupported ModelBased 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

List of past tutorials - DSN 2016 of past tutorials DSN 2012 (Boston, USA) Tool!Supported Model!Based Safety Analysis Frank Ortmeier, Otto Von Guericke, University of Magdeburg, Germany

Download PDF Report

Upload
phungkhanh
View
221
Download
4

Embed Size (px)

Citation preview

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