|
|
|
|
|
Meeting Host |
Walt Heimerdinger |
Program-at-a-Glance
and Contents
Electrical
Smart Grids: Security and Dependability
|
Workshop |
Kevin Driscoll, Honeywell; Nuno Neves, University of Lisbon |
List
of Attendees
Workshop on Electrical Smart Grids:
Security and Dependability
Co-chairs: Kevin Driscoll, Honeywell; Nuno Neves, University of Lisbon
|
8:30 Introduction to the
meeting (Paulo Veríssimo, University of Lisboa and
Walt Heimerdinger) |
|
|
Introduction to the workshop, The
Electrical Smart Grids Security and Dependability Problem (Nuno Neves, University of
Lisbon) |
|
|
Stochastic Modelling of Cyber Attacks in
Power Systems (Peter Popov, City
University London) |
|
|
NP-View Automatic Analysis of Process
Control Network Firewall Configurations
(William Sanders, University of Illinois at Urbana-Champaign) |
|
|
Intrusion Tolerance for Critical
Infrastructures (Yair
Amir, Johns Hopkins University) |
|
|
A Fault- and Intrusion-tolerant
Architecture for the Portuguese Power Distribution SCADA System (Alysson Bessani, University of Lisboa) |
|
|
Smart
Control of Energy Distribution Grids over Heterogeneous Communication
Networks (Davide
Iacono, Resiltech) |
|
|
|
|
Model-based Intrusion Detection System
(IDS) for Smart Meters (Karthik
Patabiramam, University of British Columbia) |
|
|
Real-time and Retrofit Encryption for
the Grid (Kevin Driscoll, Honeywell) |
|
|
David Powell, (LAAS-CNRS) - Session 1 Report/Summary |
|
|
Matti
Hiltunen (AT&T) - Session 2 and 3 Report/Summary |
|
|
Jean Arlat
(LAAS-CNRS) - Session
4 Report/Summary |
|
|
Network Function Virtualization, Rick Schlichting, At&T, US |
|
|
Duke High Availability Assurance
Laboratory (DHAAL), Kishor Trivedi, Duke Univ., US |
|
|
A Security Analysis of French ADSL boxes,
Mohamed Kaaniche, LAAS CNRS, FR |
|
|
Turret: A Platform for Automated
Adversarial Testing of Distributed Systems and Network Protocols, Cristina
Nita-Rotaru, Purdue University, US |
|
|
Running MPI-based HPC on
Unstable Processors, Elias P. Duarte Jr., Federal University of Parana (UFPR)
Curitiba, BR |
|
|
Are we keeping the security and
dependability balance of DevOps in a “cloudified” world?, Paulo Esteves
Veríssimo, ULisboa -Faculdade
de Ciências -LaSIGE, PT |
|
|
Vision: Towards an Extensible App Ecosystem
for Home Automation through Cloud-‐Offload, Matti
Hiltunen, AT&T, US |
|
|
|
|
|
|
|
|
|
|
|
IFIP Working Group 10.4 business meeting |
|
List of Attendees
|
Names and
Contact Information |
|