IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

59th Meeting

Snowmass, Colorado, US

January 12-16, 2011

Previous Page

Meeting Host
 Basil Smith, IBM, US

Program-at-a-Glance and Contents

Workshop on Dependability Issues for a Smarter Planet

Nick Bowen, IBM, US
Basil Smith, IBM, US
Session 0, Introduction
Session 1, Dependable Cities
Session 2, Smart Grid
Session 3, Trustworthy Healthcare
Session 4, Smart Communication/Internet Infrastructure
Session 5, Workshop Wrap-Up

Business Meeting

Research Reports

List of Attendees

Workshop  on Dependability Issues for a Smarter Planet 

January 13-14, 2011 (Thursday/Friday)

Session 0, Introduction
Nick Bowen, IBM, US
Workshop Overview
.pdf icon 120 KB

Session 1, Dependable Cities
Colin Harrison, IBM, US
How Do We Build Community Trust in Technology?
.pdf icon 345 KB
Priya Narasimhan, CMU, US
Crowdsourced and Mobile Platforms: Civic Applications and Disaster Response
.pdf icon 2.7 MB
Raju Rangaswami, Florida International U., US
Addressing Software Challenges for Smart Infrastructures using Software Persistent Memory
.pdf icon 2.2 MB

Session 2, Smart Grid

Brian Gaucher, IBM, US
Smarter Energy for a Smarter Planet: Computational Challenges and Dependencies of the Evolving Smart Grid
.pdf icon  3.5 MB
Bill Sanders, Univ of Illinois at Urbana-Champaign, US
Smarter Power Grids: Challenges and Research Directions
.pdf icon  5.1 MB

Session 3, Trustworthy Healthcare
Carl Landwehr, NSF/Univ of Maryland, US
NSF Trustworthy Computing Program: Selected Healthcare-related Projects
.pdf icon  990 KB
Chalapathy Neti, IBM, US
Healthcare Transformation 
.pdf icon  885 KB
Doug Blough, Georgia Tech, US
Securing Sensitive Healthcare Information in the U.S. Health Care System: Past, Present and Future
.pdf icon  385 KB

Session 4, Smart Communications/Internet Infrastructure
Keith Marzullo, NSF/UCSD, US
NSF Cyber-Physical Systems (CPS) Program: Past, Present, and Future
.pdf icon  1.2 MB
Kevin Staggs, Honeywell, US
Designing Robust, Secure Industrial Automation and Control Systems
.pdf icon  925 KB
Ehab Al-Shaer, UNC-Charlotte, US
Non-Invasive Smart Grid Threat Analyzer using Formal Methods
.pdf icon  1.9 MB
Charles Howell, MITRE, US
Application of Accident Investigation Notations and Tools
.pdf icon  1.0 MB

Session 6, Workshop Wrapup
Discussion, Nick Bowen (moderator), IBM, US


Business Meeting

Rick Schlichting, AT&T Labs, US
Overall Presentation and News
.pdf icon  4.0 MB


Research Reports

January 16, 2011 (Sunday)

Hari Ramasamy, IBM, US
Enterprise IT Infrastructure Transformation: Towards Automated Identification of Security Zone Classifications
.pdf icon  555 KB
Cristina Nita-Rotaru, Princeton Univ., US
Defending Against Pollution Attacks in Network Coding for Wireless Mesh Network
.pdf icon  1.3 MB
Michael Bailey, Univ. of Michigan, US
The Need for Community Standards for Ethical Behavior in Computer Security Research
.pdf icon  260 KB
Karthik Pattabiraman, Univ. of British Columbia, Canada
Flikker: Saving DRAM Refresh Power through Critical Data Partitioning
.pdf icon  920 KB
Basil Smith, IBM, US
The Upcoming IT Paradigm Shift
.pdf icon  285 KB
Rick Harper, IBM, US
Recent Activities
  .pdf icon  650 KB
Gernot Heiser, NICTA/Univ of New South Wales, Australia
Persistence with Asynchronous I/O
.pdf icon  520 KB
Gilles Muller, INRIA/LIP6, France
Faults in Linux: 10 Years Later
.pdf icon  725 KB
Keith Marzullo, NSF/UCSD, US
Miswiring Models for Autonomic Naming in a Data Center Fabric
.pdf icon  750 KB
Hermann Kopetz, TU-Vienna, Austria
A Methodology for the Design of Systems of Systems (SoSs)
.pdf icon  870 KB
Vic Thomas, BBN Technologies, US
GENI: Exploring Networks of the Future
.pdf icon  730 KB
Doug Blough, Georgia Tech, US
Redactable Signatures for Verification and Minimal Disclosure in Health Information Exchange
.pdf icon  190 KB

List of Attendees

Names and Contact Information
.pdf icon  85 KB