FINAL PROGRAM
|
Monday,
June 29th
Workshop
on Recent Advances on Intrusion-Tolerant Systems (WRAITS)
(ROOM
VI)
Chairs:
Saurabh Bagchi, Purdue Univ., USA; Miguel Correia, Univ. of
Lisbon,Portugal; Partha Pal, BBN Technologies, USA
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 09:00
|
Welcome and Introductions
|
|
09:00 – 10:00
|
Keynote
Speech
Metrics,
Methods and Tools to Measure Security and Trustworthiness
Henrique
Madeira, Univ. of Coimbra
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
Paper
Session
What
Next in Intrusion Tolerance
P.
Pal, R. Schantz, J. Loyall, M. Atighetchi and F. Webber, BBN
Technologies, USA
Quantitative
Approach to Tuning of a Time-Based Intrusion-Tolerant System
Architecture
Q.
Nguyen and A. Sood, George Mason Univ., USA
Network
Intrusion Detection with Minimal Communication Overhead
O.
Patrick Kreidl and A. Willsky, MIT, USA
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 15:00
|
Panel
Discussion
Intrusion
Tolerance Going Mainstream - Which Applications Stand to
Benefit?
Saurabh
Bagchi, Purdue Univ., USA (chair); Walter Heimerdinger,
Honeywell (retired), USA; Navjot Singh, Avaya, USA; Paulo
Verissimo, Univ. of Lisboa, Portugal
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 17:00
|
Paper
Session
On
the Use of Radio Resource Tests in Wireless ad hoc Networks
D.
Mónica, J. Leitão, L. Rodrigues and C. Ribeiro, INESC-ID/IST,
Portugal
Enhancing
Fault / Intrusion Tolerance through Design and Configuration
Diversity
A.
Bessani, A. Daidone, I. Gashi, R. Obelheiro, P. Sousa and V.
Stankovic, LaSIGE, Univ. of Lisbon, Portugal / Univ. of
Florence, Italy / Centre for Software Reliability, City Univ.
London, UK / Universidade do Estado de Santa Catarina, Brazil
Practical
Techniques for Regeneration and Immunization of COTS
Applications
L.
Li, R. Sekar, M. Cornwell, E. Hultman and J. Just, Global
InfoTek, USA / Stony Brook Univ., USA
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Workshop
on Compiler and Architectural Techniques for
Application
Reliability and Security (CATARS)
(ROOM
VII)
Chairs:
Karthik Pattabiraman, Microsoft Research, Redmond, USA;
Zbigniew Kalbarczyk, Univ. of Illinois atUrbana-Champaign, IL,
USA
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 09:00
|
Welcome and Introductions
Karthik
Pattabiraman, Microsoft Research, Redmond, USA
|
|
09:00 – 10:00
|
Compiler
and Architectural Techniques for Application Reliability
Architectural
Mechanisms Leveraging the Floating Point Subsystem for Soft
Error Mitigation
Gulay
Yalcin (Universitat Politecnica de Catalunya – UPC, Spain),
Osman Unsal (Universitat Politecnica de Catalunya – UPC,
Spain) and Mateo Valero (Universitat Politecnica de Catalunya –
UPC, Spain)
Characterizing
the Use of Program Vulnerability Factors for Studying Transient
Fault Tolerance in Multi-core Architectures
Rob
Kost (Univ. of Colorado – Boulder, USA) and Dan Connors (Univ.
of Colorado – Boulder, USA)
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
Compiler
and Architectural Techniques for Application Reliability
ADACS
A Domain Specific Language for Security Policies
Robin
Gandhi (Univ. of Nebraska, Omaha, USA), William Mahoney (Univ.
of Nebraska, Omaha, USA) and Ken Dick (Univ. of Nebraska, Omaha,
USA)
A
Model of Secretless Security in N-Variant Systems
Eric
Weatherwax (Univ. of Virginia, USA), John Knight (Univ. of
Virginia, USA) and Anh Nguyen-Tuong (Univ. of Virginia, USA)
iMOP:
An In-Memory Object Protector
Yi
Wang (Nanjing Univ., China), Zhi Xin (Nanjing Univ., China),
Ping Chen (Nanjing Univ., China), Bing Mao (Nanjing Univ.,
China) and Li Xie (Nanjing Univ., China)
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 14:45
|
Panel
Discussion
Dependability
at the Application-Level - Are Compilers and Architectures a
Problem or the Panacea?
Neeraj
Suri, John Knight, Arun Somani
|
|
14:45 – 15:00
|
Closing Remarks and steps
forward
Zbigniew
Kalbarczyk, Univ. of Illinois atUrbana-Champaign, IL, USA
|
|
15:00 – 17:00
|
(See
other Workshops.)
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Workshop
on Hot Topics in System Dependability (HotDep)
(ROOM
III)
Chairs:
Christof Fetzer, TU Desden, Germany;
Rodrigo Rodrigues, MPI-SWS, Saarbrücken, Germany
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 10:00
|
Session
A – Storage
Building
Flexible, Fault-Tolerant Flash-based Storage Systems
K.
Greenan, D. Long, E. Miller, T. Schwarz, A. Wildani
Crystal:
The Power of Structure Against Corruptions
H.
Wang, B. He, V. Prabhakaran, L. Zhou
System-Call
Based Problem Diagnosis for PVFS
M.
Kasick, K. Bare, E. Marinelli III, J. Tan, R. Gandhi, P.
Narasimhan
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
Session
B – Testing
Selective
Symbolic Execution
V.
Chipounov, V. Georgescu, C. Zamfir, G. Candea
Fault
Injection for Failure Prediction Methods Validation
M.
Vieira, H. Madeira, I. Irrera, M. Malek
PathScore-Relevance:
A Metric for Improving Test Quality
S.
Andrica, G. Candea
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 14:30
|
Session
C – Networks
Not
Quickly, Just in Time: Improving the Timeliness and Reliability
of Control Traffic in Utility Networks
W.
Dantas, A. Bessani, M. Correia
sPoW:
On-Demand Cloud-based eDDoS Mitigation Mechanism
S.
Khor, A. Nakao
|
|
14:30 – 15:00
|
Session
D – Distributed Systems
Towards
Low Latency State Machine Replication for Uncivil Wide-area
Networks
Y.
Mao, F. Junqueira, K. Marzullo
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 16:00
|
Session
D – Distributed Systems (cont.)
Distributed
Clustering for Robust Aggregation in Large Networks
I.
Eyal, I. Keidar, R. Rom
|
|
16:00 – 17:00
|
(See
other Workshops.)
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Workshop
on Dependable and Secure Nanocomputing (WDSN)
(ROOM
XVI)
Chairs:
Jean Arlat, LAAS-CNRS, Toulouse, France;
Cristian Constantinescu, AMD, Fort Collins, CO, USA; Ravishankar
K. Iyer, Univ. of Illinois at Urbana-Champaign, IL, USA; Johan
Karlsson, Chalmers Univ. of Technology,Göteborg, Sweden;
Michael Nicolaïdis, TIMA, Grenoble, France
|
|
08:00 – 08:30
|
Registration
|
|
08:30– 10:00
|
Session
A – Opening and Invited Talks
Introduction
to the Workshop
Jean
Arlat, LAAS-CNRS, France
Dependable
Design in Nanoscale CMOS Technologies: Challenges and Solutions
Vikas
Chandra, ARM R&D, San Jose, CA, USA
Trading
Off Dependability and Cost for Nanoscale High Performance
Microprocessors: The Clock Distribution Problem
Cecilia
Metra, Università di Bologna, Italy
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
Session
B – Reliability Issues and Assessment
Scaling
Effects on Neutron-Induced Soft Error in SRAMs Down to 22nm
Process
Eishi
Ibe, Hitoshi Taniguchi, Yasuo Yahagi, Ken-ichi Shimbo, Tadanobu
Toba; Hitachi Ltd, Yokohama, Japan
On
CMOS Circuit Reliability from MOSFETs and Input Vectors
Valeriu
Beiu (1,2), Walid Ibrahim(1,3); (1) UAE Univ., Al-Ain, UAE; (2)
Univ. of Ulster, Londonderry, UK; (3) Carleton Univ., Ottawa,
Canada
Impact
of Manufacturing Defects on Carbon Nanotube Logic Circuits
Daniel
Gil, David de Andrés, Juan-Carlos Ruiz, Pedro Gil; Universidad
Politécnica de Valencia, Spain
Enhanced
Fault Coverage Analysis Using ABVFI
Scott
Bingham, John Lach; Univ. of Virginia, Charlottesville, USA
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 15:00
|
Session
C – Resilience Enhancement Techniques
Achieving
Degradation Tolerance in a Hardware Accelerator with Parallel
Functional Units
Tomohiro
Yoneda, National Inst. of Informatics, Tokyo; Masashi Imai,
Univ. of Tokyo; Hiroshi Saito, Univ. of Aizu; Atsushi Matsumoto,
Tohoku Univ. Sendai; Japan
Software
Mechanisms for Tolerating Soft Errors in an Automotive
Brake-controller
Daniel
Skarin, Johan Karlsson; Chalmers Univ. of Technology, Göteborg,
Sweden
Power
Efficient Redundant Execution for Chip Multiprocessors
Pramod
Subramanyan(1), Virendra Singh(1), Kewal Saluja(2), Erik
Larsson(3); (1) Indian Institute of Science, Bangalore, India;
(2) Univ. of Wisconsin-Madison, USA; (3) Linköping Univ.,
Sweden
On
the Stability and Robustness of Non-Synchronous Circuits with
Timing Loops
Matthias
Függer, Gottfried Fuchs, Ulrich Schmid, Andreas Steininger;
Vienna Univ. of Technology, Austria
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 17:00
|
Panel
Discussion: Scaling towards Nanometer Size Devices - Issues and
Solutions
Presentation
title: Dependable Systems with Nanometer Scale Technologies:
What is Different?
Jacob
A. Abraham, Univ. of Texas, Austin, USA
Why
Brain-inspired Architectures Could Save the Day?
Valeriu
Beiu, UAE Univ., Al-Ain, UAE and Univ. of Ulster, Londonderry,
UK
Cross-Layer
Resiliency for Nano-scale Technology
Helia
Naeimi, Intel Corporation, Santa Clara, CA, USA
Aggressive
and Adaptive Mitigation Techniques may be Key to the Solution
Arun
Somani, Iowa State Univ., Ames, USA
Now
Silicon is Cheap, but Testing is Expensive
Seongmoon
Wang, NEC Laboratories America, Princeton, NJ, USA
Workshop
Wrap-Up
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Workshop
on Architecture Dependable Systems (WADS)
(ROOM
XIII)
Chairs:
António Casimiro,
Univ. of Lisbon, Portugal; Rogério de Lemos, Univ. of Coimbra,
Portugal ; Cristina Gacek, Newcastle Univ., UK
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 08:45
|
Welcome and Introductions
|
|
08:45 – 10:00
|
Session
A - Software Architectures and Dependability
Keynote
Speech: Assessing Dependability for Mobile and
Ubiquitous Systems: Is there a Role for Software Architectures?
Paola
Inverardi (Università dell'Aquila, Italy)
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
Session
B - Software Architectures and Dependability
Invited
Talk: Architecting Self-Adaptive Critical Systems:
Contradiction or Panacea?
Holger
Giese (Hasso-Plattner-Institut, Germany)
The
SOA Dependability Cube
Graham
fletcher, Ian Owens
Fault
Tree Generation from EMF Models
Christoph
Lauer, Reinhard German, Jens Pollmer
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 15:00
|
Session
C - Architectures for Mobile and Ubiquitous Systems
Invited
Talk: On the Design of Adaptive-and-Dependable Systems
Vincenzo
De Florio (Univ. of Antwerp, Belgium)
Tongo:
A framework for Supporting Mobile Application Architectures
Dario
Correal, Daniel Ramirez, Tatiana Hernandez, Nicolas Diaz
Data
Backup for Mobile Nodes : a Cooperative Middleware and
Experimentation Platform
Marc-Olivier
Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon
Identification
of authenticity requirements in systems of systems by functional
security analysis
Andreas
Fuchs, Roland Rieke
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 16:30
|
Session
D - What is the future in architecting critical systems?
Discussions
|
|
16:30 – 16:50
|
Plenary
|
|
16:50 – 17:00
|
Wrap-up / Future
Directions
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Workshop
on Proactive Failure Avoidance,
Recovery
and Maintenance (PFARM)
(ROOM
XV)
Chairs:
Miroslaw Malek, Humboldt Univ., Germany;
Felix Salfner, Humboldt Univ., Germany; Kishor S. Trivedi, Duke
Univ., NC, USA
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 08:45
|
Welcome and Introductions
|
|
08:45 – 09:30
|
Monitoring
and Evaluation
Online
Reliability Monitoring: a Hybrid Approach
Roberto
Pietrantuono (Univ. of Naples Federico II, Italy), Stefano Russo
(Univ. of Naples Federico II, Italy) and Kishor Trivedi (Duke
Univ., USA)
A
Runtime Dependability Evaluation Framework for Fault Tolerant
Web Services
Zibin
Zheng (The Chinese Univ. of Hong Kong, China) and Michael Lyu
(The Chinese Univ. of Hong Kong, China)
An
Approach for Assessing Logs by Software Fault Injection
Roberto
Natella (Univ. of Naples Federico II, Italy), Antonio Pecchia
(Univ. of Naples Federico II, Italy), Domenico Cotroneo (Univ.
of Naples Federico II, Italy) and Stefano Russo, (Univ. of
Naples Federico II, Italy)
|
|
09:30 – 10:00
|
Reaction
Methods
WEST:
Wormhole-Enhanced State Transfer
Rogério
Correia (Universidade de Lisboa, Portugal) and Paulo Sousa
(Univ. of Lisboa, Portugal)
Performance
Aware Regeneration in Virtualized Multitie Applications
Kaustubh
Joshi (AT&T Labs Research, USA), Matti Hiltunen (AT&T
Labs Research, USA) and Gueyoung Jung (Georgia Institute of
Technology, USA)
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 11:00
|
Diagnosis
Etymon:
A Root Cause Analysis System for Large and Complex IT Enterprise
Networks
Tiago
Carvalho (Carnegie Mellon Univ., USA) and Hyong Kim (Carnegie
Mellon Univ., USA)
Automatic
Detection of Firewall Misconfigurations using Firewall and
Network Routing Policies
Ricardo
Oliveira (Portugal Telecom, Portugal), Sihyung Lee (Carnegie
Mellon Univ., USA) and Hyong Kim (Carnegie Mellon Univ., USA)
|
|
11:00 – 12:00
|
PFARM Challenges Karaoke
(Further
details will be announced at the workshop.)
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 15:00
|
(See
other Workshops.)
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 17:00
|
(See
other Workshops.)
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Monday,
June 29th
Tutorial
(ROOM
XV)
Chairs:
Miroslaw Malek, Humboldt-Universitaet zu Berlin, Germany,
Felix Salfner, Humboldt-Universitaet zu Berlin, Germany
|
|
08:00 – 08:30
|
Registration
|
|
08:30 – 10:00
|
(See
other Workshops.)
|
|
10:00 – 10:30
|
Coffee Break
|
|
10:30 – 12:00
|
(See
other Workshops.)
|
|
12:00 – 13:30
|
Lunch
|
|
13:30 – 15:00
|
Tutorial
Proactive
Fault Management for Availability Enhancement
Miroslaw
Malek, Humboldt-Universitaet zu Berlin, Germany, Felix Salfner,
Humboldt-Universitaet zu Berlin, Germany
|
|
15:00 – 15:30
|
Coffee Break
|
|
15:30 – 17:00
|
Tutorial
(cont.)
|
|
17:00 – 18:00
|
Invited Talk
(ROOM III)
Future
Prospects of Research on Security and Dependability
Jacques
Bus, Head of Unit Security, (ICT Programme), DG Information
Society and Media, European Commission
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:00
|
Welcome Reception
(See
Map.)
|
|
Tuesday,
June 30th
|
|
08:00 – 09:00
|
Registration
|
|
09:00 – 10:30
|
Welcome Introduction &
Keynote Speech
(ROOM I & II)
Dependability
- How does the market value it?
Gonçalo
Quadros, CEO Critical Software
|
|
10:30 – 11:00
|
Coffee Break
|
|
11:00 – 12:30
|
DCCS1
- Network Security (ROOM I & II)
Chair:
Simin Nadj-Tehrani, Linköping U., Sweden
WSEC
DNS: Protecting Recursive DNS Resolvers from Poisoning Attacks
Roberto
Perdisci, Manos Antonakakis, Xiapu Luo, and Wenke Lee, Georgia
Tech and Damballa Inc.
Exception
Triggered DoS Attacks on Wireless Networks
Yao
Zhao, Sagar Vemuri, Jiazhen Chen, Yan Chen, Hai Zhou and Zhi
(Judy) Fu, Northwestern Univ and Motorola Labs
HC-BGP:
A Light-weight and Flexible Scheme for Securing Prefix Ownership
Ying
Zhang Zheng Zhang Z. Morley Mao Y. Charlie Hu, Univ. of Michigan
and Purdue Univ.
|
|
DCCS2
- Software Faults (ROOM III)
Chair:
Neeraj Suri, TU Darmstadt, Germany
Fault
Isolation for Device Drivers
Jorrit
N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S.
Tanenbaum, Vrije Universiteit Amsterdam
WYSIWIB:
A Declarative Approach to Finding API Protocols and Bugs in
Linux Code
Julia
L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen,
Henrik Stuart, Gilles Muller, Univ. of Copenhagen, ONERA,
Aalborg Univ., and Ecole des Mines de Nantes
Exploiting
Refactoring in Formal Verification
Xiang
Yin, John Knight, Westley Weimer, Univ. of Virginia
|
|
PDS
1 - Modeling and Evaluation I (ROOM XII & XIII)
Chair:
Veena Mendiratta, Bell Labs, Lucent, USA
Maximising
System Lifetime by Battery Scheduling
Marijn
Jongerden, Boudewijn Haverkort, Henrik Bohnenkamp, Joost-Pieter
Katoen, Univ. of Twente, The Netherlands, RWTH Aachen Univ.,
Germany
Safety
Modeling and Evaluation of Automated Highway Systems
Ossama
Hamouda, Mohamed Kaâniche, and Karama Kanoun, LAAS-CNRS, France
Evaluating
the Impact of Undetected Disk Errors in RAID Systems
Eric
W. D. Rozier, Wendy Belluomini, Veera Deenadhayalan, Jim Hafner,
KK Rao, Pin Zhou, IBM Almaden Research Center and Univ. of
Illinois Department of Computer Science, USA
|
|
12:30 – 14:00
|
Lunch
|
|
14:00 – 14:30
|
CARTER AWARD PRESENTATION
(ROOM I & II)
Vulnerability
& Attack Injection for Web Applications
José
Fonseca, Marco Vieira, Henrique Madeira, University of Coimbra
|
|
14:30 – 16:00
|
Panel
(ROOM I & II)
Dependability
in the Cloud: Challenges and Opportunities
Kaustubh
Joshi, AT&T Labs Research, USA (chair); Farnam Jahanian, University of Michigan and Arbor Networks; Aad van Moorsel, Newcastle University; and Joseph Weinman, AT&T
|
|
16:00 – 16:30
|
Coffee Break
|
|
16:30 – 18:00
|
DCCS3
– Security (ROOM I & II)
Chair: Saurabh Bagchi, Purdue Univ., USA
Decoupling
Dynamic Information Flow Tracking with a Dedicated Coprocessor
Hari
Kannan, Michael Dalton, and Christos Kozyrakis, Stanford Univ.
Remote
Attestation to Dynamic System Properties: Towards Providing
Complete System Integrity Evidence
Chongkyung
Kil, Emre C. Sezer, Ahmed M. Azab, Peng Ning, Xiaolan Zhang,
North Carolina State Univ. and IBM T.J. Watson Research Center
Comparing
Anomaly-Detection Algorithms for Keystroke Dynamics
Kevin
S. Killourhy, Roy A. Maxion, Carnegie Mellon Univ.
|
|
DCCS4
– Middleware (ROOM III)
Chair:
Karl Göschka, Vienna
Univ. of Tech., Austria
Providing
Transactional Quality of Service in Event Stream Processing
Middleware
Rob
Strom, Chitra Dorai, IBM Research
Language
Level Checkpointing Support for Stream Processing Applications
Gabriela
Jacques-Silva , Bugra Gedik, Henrique Andrade, Kun-Lung Wu,
Univ. of Illinois at Urbana-Champaign and IBM Research
Verme:
Worm Containment in Overlay Networks
Filipe
Freitas, Edgar Marques, Rodrigo Rodrigues, Carlos Ribeiro, Paulo
Ferreira, and Luis Rodrigues, INESC-ID and MPI-SWS
|
|
Fast
Abstracts I (ROOM XII & XIII)
Chair:
Michael Paulitsch,
EADS, Germany
Decreasing
Log Data of Multi-tier Services for Effective Request Tracing
Bo
Sang, Jianfeng Zhan, Guanhua Tian - Institute of Computing
Technology, Chinese Academy of Sciences
Transparent
Byzantine Fault-Tolerant Directory Service using COTS components
Francisco
Vieira, Paulo Sousa, Alysson Neves Bessani, Univ. of Lisboa,
Faculdade de Ciencias, LaSIGE - Portugal
The
Promising Potential of the BDMP Formalism for Security Modeling
Ludovic
Piètre-Cambacédès, Marc Bouissou, Electricité de France
Do-It-Yourself
Shared-Storage Cluster with an Off-the-Shelf DBMS
Luis
Soares, Josè Pereira, Univ. of Minho
Fault
Tolerant and Energy-Efficient Real-Time Scheduling of Packet
Transmission for Wireless Network Interface Cards
Jinkyu
Koo, Myungjin Lee, and Saurabh Bagchi, School of Electrical and
Computer Engineering, Purdue Univ.
eOSI:
A Layer Model for Developing Fault-Tolerant Embedded Systems
Antonio
H. F. de Morais, Gláucio B. Brandão, Ana M. G. Guerreio,
Federal Univ. of Rio Grande do Norte, Ricardo A. M. Valentim,
Federal Institute of Rio Grande do Norte
Towards
Assessing the Impact of Security Attacks in Web Servers
Naaliel
Mendes, Joao Duraes, Marco Vieira, Henrique Madeira, CISUC,
Department of Informatics Engineering, Univ. of Coimbra,
Portugal
Selective
Process Persistence: A New Memory Technology Supported Mechanism
for Highly Dependable Systems
Hyojeen
Kim and Sam H. Noh, Department of Computer Engineering, Hongik
Univ.
Architecture
for runtime detection and resolution of IOMMU errors in embedded
virtualized environment
Varun
Sethi, Stuart Yoder, Freescale Semiconductor
BFT
Services Programming with a Dependable Tuple Space
François
Aubry Alysson Neves Bessani Paulo Sousa, Univ. of Lisboa,
Faculdade de Ciencias, LaSIGE Portugal
Support
for Robust Storage and Communication Using Cell Phones
Baishakhi
Ray and Shivakant Mishra, Department of Computer Science, Univ.
of Colorado, Boulder, USA
Towards
Distributed Robustness in Emebedded Systems
Vaclav
Mikolasek and Michael Zolda, Institute of Computer Engineering,
Vienna Univ. of Technology, Austria
Towards
the Development of a SOA Dependability Taxonomy: The
Dependability Cube
Ian
Owens, Defence Academy of the United Kingdom, Graham Fletcher –
Dep.of Informatics and Sensors, Cranfield Univ., Defence Academy
|
|
18:00 – 18:30
|
Break
|
|
18:30 – 20:30
|
Birds of a Feather
|
|
(ROOM III)
Energy-Efficient
Dependability
Alan
Wood, Sun Microsystems, USA
|
(ROOM XII & XIII)
Multicore
Virtualization for Flexible and Reliable Networks
Varun
Sethi, Freescale Semiconductor, India
|
|
Wednesday,
July 1st
|
|
08:00 – 08:30
|
Registration
|
|
8:30 – 10:30
|
DCCS5
– Embedded Systems (ROOM I &
II)
Chair:
Michael
Paulitsch, EADS, Germany
Flexible
Multicast Authentication for Time-Triggered Embedded Control
Network Applications
Christopher
Szilagyi, Philip Koopman, Carnegie Mellon Univ.
Data
Management Mechanisms for Embedded System Gateways
Justin
Ray, Philip Koopman, Carnegie Mellon Univ.
Low
Overhead Soft Error Mitigation Techniques for High-Performance
and Aggressive Systems
Naga Durga Prasad Avirneni,
Viswanathan Subramanian, and Arun K. Somani, Dependable
Computing and Networking Lab, Iowa State Univ.
An
Energy Efficient Circuit Level Technique to protect Register
File from MBUs and SETs in Embedded Processors
M.
Fazeli, A. Namazi, S.G. Miremadi, Sharif Univ. of Technology
|
|
DCCS6
– Tools and Demonstrations (ROOM
III)
Chair:
Kaustubh Joshi,
AT&T Labs Research, USA
Xprobe2++:
Low Volume Remote Network Information Gathering Tool
Fedor
V. Yarochkin, Ofir Arkin, Meder Kydyraliev, Shih-Yao Dai, Yennun
Huang, Sy-Yen Kuo, National Taiwan Univ., Google, Insightix, and
Vee Telecom Multimedia
Deterministic
High-Speed Simulation of Complex Systems Including
Fault-Injection
Matthias Sand, Stefan Potyra, Volkmar
Sieh, Department of Computer Science 3, Univ. of
Erlangen-Nüremberg
Intrusion-Tolerant
Self-Healing Devices for Critical Infrastructure
Protection
Paulo Sousa, Alysson N. Bessani, Wagner S.
Dantas, Fabio Souto, Miguel Correia, Nuno F. Neves, Univ. of
Lisbon
Design
and Development of a Proof-of-concept Platooning Application
using the HIDENETS Architecture
Luis Marques, Antonio
Casimiro, Mario Calha, FCUL
|
|
PDS
2 - Web Services/Applications and Distributed Protocols (ROOM
XII & XIII)
Chair:
Miguel Correia,
Univ. of Lisbon, Portugal
Dynamic
Content Web Applications: Crash, Failover, and Recovery
Analysis
Luiz E. Buzato, Gustavo M. D. Vieira, Willy
Zwaenepoel, IC, Unicamp Campinas, Brasil, SCCS, EPFL,
Switzerland
A
QoS-Aware Fault Tolerant Middleware for Dependable Service
Composition
Zibin Zheng and Michael R. Lyu, The
Chinese Univ. of Hong Kong, Hong Kong
Efficient
Resource Management on Template-based Web Servers
Eli
Courtwright Chuan Yue Haining Wang, The College of William and
Mary, USA
Stretching
Gossip with Live Streaming
Davide Frey, Rachid
Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Vivien Quéma,
INRIA Rennes-Bretagne Atlantique, France, EPFL, Switzerland,
CNRS, France
|
|
10:30 – 11:00
|
Coffee Break
|
|
11:00 – 12:30
|
DCCS7
– Diagnosis (ROOM III)
Chair:
Sy-Yen Kuo, Nat.
Taiwan U., Taiwan
A
Self-Diagnosis Technique Using Reed-Solomon Codes for
Self-Repairing Chips
Xiangyu
Tang, Seongmoon Wang, Link_A_Media Devices Corp and NEC Labs.,
America
Sharing
End-user Negative Symptoms for Improving Overlay Network
Dependability
Yongning Tang, Ehab Al-Shaer, Illinois
State Univ. and DePaul Univ.
Automatic
Fault Detection and Diagnosis in Complex Software Systems by
Information-Theoretic Monitoring
Miao Jiang, Mohammad
A. Munawar, Thomas Reidemeister, and Paul A.S. Ward, Univ. of
Waterloo
|
|
PDS
3 – Panel (ROOM I & II)
From
Assessment to Standardised Benchmarking: Will it happen? What
could we do about it?
Henrique
Madeira, Univ. of Coimbra, Portugal,
Istvan Majzik, Budapest Univ. of Technology and Economics
|
|
PDS
4 - Networking and Security I (ROOM XII & XIII)
Chair:
Michael Lyu,
Chinese Univ. of Hong Kong, HK
On
the Effectiveness of Structural Detection and Defense Against
P2P-based Botnets
Duc T. Ha, Guanhua Yan, Stephan
Eidenbenz, Hung Q. Ngo, Univ. at Buffalo, USA, Los Alamos
National Laboratory, USA
Spam
Detection in Voice-Over-IP Calls through Semi-Supervised
Clustering
Yu-Sung Wu, Saurabh Bagchi, Navjot Singh,
Ratsameetip Wita, Purdue Univ., USA, Avaya Labs, USA,
Chulalongkorn Univ., Thailand
Blue-Watchdog:
Detecting Bluetooth Worm Propagation in Public Areas
Guanhua
Yan Leticia Cuellar Stephan Eidenbenz Nicolas Hengartner, Los
Alamos National Laboratory, USA
|
|
12:30 – 14:00
|
Lunch
|
|
14:00 – 15:00
|
PDS
5 - Linguistic Analysis and Tracing (ROOM
I & II)
Chair:
Arun Somani,
Iowa State U., USA
A
Linguistic Analysis Engine for Natural Language Use Case
Description and Its Application to Dependability Analysis in
Industrial Use Cases
Avik Sinha, Amit Paradkar, Palani
Kumanan, Branimir Boguraev, I.B.M. Thomas Watson Research
Center, USA
Precise
Request Tracing and Performance Debugging for Multi-tier Service
of Black Boxes
Zhihong Zhang, Jianfeng Zhan, Yong Li,
Lei Wang, Dan Meng, Bo Sang, Institute of Computing
Technology,Chinese Academy of Sciences, China
|
|
PDS
6 - Tools and Demonstrations (ROOM
III)
Chair:
Karama Kanoun,
LAAS-CNRS, France
Report
Generation for simulation Traces with Traviando
Peter
Kemper, College of William and Mary, USA
Möbius
2.3: An Extensible Tool for Dependability, Security, and
Performance Evaluation of Large and Complex System Models
Tod
Courtney, Shravan Gaonkar, Ken Keefe, Eric W. D. Rozier, William
H. Sanders, Univ. of Illinois at Urbana-Champaign, USA
|
|
Student
Forum I – Short Presentations (ROOM XII & XIII)
Chair:
Marco Vieira, Univ. of Coimbra, Portugal
Fault
Tolerance in Programmable Timer Modules for Automotive Based
Fuel Injection Control Systems
Carlos
Carrión, Universidad Politécnica de Valencia, Spain
Statistics
of Quantitative Availability Assurance
Kesari
Mishra, Duke Univ., USA
Towards
a Pragmatic Atomic Dynamic Software Upgrade System,
Luís
Pina, INESC-ID – IST, Portugal
Developing
a Safety Assessment Methodology to validate the Use of Unmanned
Aircraft Vehicles in non Segregate Civil Airspace
Ricardo
Alexandre Veiga Gimenes, Univ. of São Paulo, Brazil
Integrated
Intrusion Detection and Diagnosis for Clouds
Junaid
Arshad, Univ. of Leeds, UK
Using
Sequence Alignments Algorithms for Automatic Failure Detection
Gizelle
Sandrini Lemos, UNICAMP, Brazil
Implementation
of Safety for Unmanned Air Vehicles Integration in the Brazilian
Air Space Using Sensor Fusion,
Vitor
Hugo Furtado, Univ. of São Paulo, Brazil
Risk-based
Security Benchmarks for Web Serving Systems
Naaliel
Mendes, Univ. of Coimbra, Portugal
|
|
15:00 – 16:00
|
Plenary
Fast Abstracts II (ROOM I & II)
Chair:
Luigi Romano, Univ. of
Naples Parthenope, Italy
Automatic
Generation of Dependable Embedded Software Through AOP in
Low-Cost Microcontroller
Ignacio
Piqueras - Instituto de Aplicaciones de las Tecnologias de la
Informacion y la Comunicacion Avanzada, Universidad Politecnica
de Valencia; J.C. Campelo - Instituto de Aplicaciones de las
Tecnologias de la Informacion y la Comunicacion Avanzada, GSTF,
Universidad Politecnica de Valencia
Finding
Vulnerabilities in Software Ported from 32 to 64-bit CPUs
Iberia
Medeiros, Miguel Correia, Universidade de Lisboa, Faculdade de
Ciencias, LASIGE
Characterization
of Failures in Android Operating System
Amiya
Kumar Maji, Kangli Hao, Salmin Sultana, and Saurabh Bagchi,
School of Electrical and Computer Engineering, Purdue Univ.,
West Lafayette, Indiana, USA
DOSGi:
An Architecture for Instant Replication
Jörg
Domaschka, Holger Schmidt, Franz J. Hauck, Institute of
Distributed Systems, Ulm Univ.; Rüdiger Kapitza, Informatik 4,
Univ. of Erlangen-N¨urnberg; Hans P. Reiser, LaSIGE, Univ. of
Lisboa
Availability-Constrained
Virtual Machine Placement for HA Clusters
Fumio
Machida and Yoshiharu Maeno, Service Platforms Research
Laboratories, NEC Corporation
Fast
and Collaborative Interference Avoidance for Wireless Medical
Devices
Mohammad
Sajjad Hossain, Tanzima Zerin Islam, Saurabh Bagchi, Vijay
Raghunathan, School of Electrical and Computer Engineering,
Purdue Univ., West Lafayette, USA
From
Crash to Byzantine Consensus with 2f + 1 Processes
Giuliana
Santos Veronese, Miguel Correia - Universidade de Lisboa,
Faculdade de Ciencias, LASIGE; Lau Cheuk Lung - Dep. de
Informatica e Estatistica, Centro Tecnologico, Universidade
Federal de Santa Catarina
Logging
for Dependability Evaluation
A.
Pecchia - Dipartimento di Informatica e Sistemistica, Università
degli Studi di Napoli Federico II
A
Light-Weight Differential Incremental Backup Scheme
Zhang
Zhang and Hengming Zou; Shanghai Jiao Tong Univ.
Hypervisor
based method for ensuring consistent and reliable access to
shared resource between logical partitions
Varun
Sethi, Freescale Semiconductor
|
|
16:00 – 19:00
|
EXCURSION
(Buses
leave at 16:10 from Hotel Miragem Cascais.)
|
|
19:00 – 20:30
|
Free Time
|
|
20:30 – 24:00
|
BANQUET
(See
Map.)
|
|
Thursday,
July 2nd
|
|
08:00 – 09:00
|
Registration
|
|
09:00 – 10:30
|
DCCS
8 - Testing and Verification (ROOM I & II)
Chair:
Andras Pataricza, BUTE,
Hungary
Fitness-Guided
Path Exploration in Dynamic Symbolic Execution
Tao
Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte,
North Carolina State Univ. and Microsoft Research
System
Safety as an Emergent Property in Composite Systems
Jennifer
Black, Philip Koopman, Carnegie Mellon Univ.
LFI:
A Practical and General Library-Level Fault Injector
Paul
D. Marinescu and George Candea, EPFL
|
|
PDS
7 - Modeling and Evaluation II (ROOM III)
Chair:
Mohamed Kaâniche,
LAAS-CNRS, France
Fluid
Modeling and Control for Server System Performance and
Availability
Luc
Malrait, Sara Bouchenak, Nicolas Marchand, NeCS Control Theory,
France, Univ. of Grenoble I - INRIA, France
Parametric
NdRFT for the Derivation of Optimal Repair Strategies
Marco
Beccuti, Giuliana Franceschinis, Daniele Codetta-Raiteri, Serge
Haddad, Univ. del Piemonte Orientale, Italy, LSV, ENS Cachan,
CNRS, France
MAP-AMVA:
Approximate Mean Value Analysis of Bursty Systems
Giuliano
Casale, Evgenia Smirni, College of William & Mary, USA
|
|
PDS
8 - Networking and Security II (ROOM XII & XIII)
Chair:
Nuno Neves, Univ. of
Lisbon, Portugal
Overloading
Vulnerability of VoIP Networks
Hemant
Sengar, NuVox, USA
On
the Effectiveness of Low Latency Anonymous Network in the
Presence of Timing Attack
Jing
Jin, Xinyuan Wang, George Mason Univ., USA
RRE:
A Game-Theoretic Intrusion Response and Recovery Engine
Saman
A. Zonouz, Himanshu Khurana, William H. Sanders, and Timothy M.
Yardley, Univ. of Illinois at Urbana-Champaign, USA
|
|
10:30 – 11:00
|
Coffee Break and Posters
|
|
11:00 – 13:00
|
DCCS
9 – Hardware (ROOM I & II)
Chair:
Cristian Constantinescu,
AMD, USA
Power
Supply Induced Common Cause Faults - Experimental Assessment of
Potential Countermeasures
Peter
Tummeltshammer Andreas Steininger, Vienna Univ. of Technology,
Embedded Computing Systems Group
Emµcode:
Masking Hard Faults in Complex Functional Units
Nicholas
Weaver, John H. Kelm and Matthew I. Frank, Univ. of Illinois at
Urbana-Champaign
Processor
Reliability Enhancement through Compiler-directed Register File
Peak Temperature Reduction
Chengmo
Yang and Alex Orailoglu, UC San Diego
A
Low-tech Solution to Avoid the Severe Impact of Transient Errors
on the IP Interconnect
Derek
Graham, Per Strid, Scott Roy and Fernando Rodriguez, Institute
for System Level Integration, ARM Ltd., and Univ. of Glasgow
|
|
DCCS
10 – Storage (ROOM III)
Chair:
Flavio Junqueira,
Yahoo, Spain
A
Simple Equation for Estimating Reliability of an N+1 Redundant
Array of Independent Disks (RAID)
Jon
G. Elerath, NetApp
Fail-Aware
Untrusted Storage
Christian
Cachin, Idit Keidar Alexander Shraer, IBM Zurich Research Lab and
Technion
An
Efficient XOR-Scheduling Algorithm for Erasure Codes Encoding
Jianqiang
Luo, Lihao Xu, James S. Plank, Wayne State Univ. and Univ. of
Tennessee
Replacing
Linear Hamming Codes by Robust Nonlinear Codes Results in a
Reliability Improvement of Memories
Zhen
Wang, Mark G. Karpovsky, Konrad J. Kulikowski, Reliable Computing
Lab, Boston Univ.
|
|
Student
Forum II – Regular Presentations (ROOM XII & XIII)
Chair:
Marco Vieira, Univ. of
Coimbra, Portugal
Towards
techniques and methodologies for collecting trusted observation
results
Andrea
Ceccarelli, Univ. of Florence, Italy
Anomaly
detection based on SLA compliance monitoring
Valerio
Vianello, Università degli Studi di Napoli “Parthenope”,
Italy
Towards
Benchmarking the Performance and Dependability of Ad Hoc Networks
in Presence of Attacks
Jesús
Friginal, Universidad Politécnica de Valencia, Spain
Intrusion
Tolerant Active Replication for Large Scale Networks
Giuliana
Santos Veronese, Univ. of Lisbon, Portugal
The
Role of Environmental Factors in Keystroke Dynamics
Kevin
S. Killourhy, CMU, USA
A
Dependable Communication Service for Critical Information Traffic
over Wide-Area Networks
Wagner
Saback Dantas, Univ. of Lisbon, Portugal
Intermittent
Faults: Analysis of Causes and Effects, New Fault Models, and
Mitigation Techniques
Luis-J.
Saiz-Adalid, Universidad Politécnica de Valencia, Spain
Assessing
and Improving the Robustness of Service-based Applications
Nuno
Laranjeiro, Univ. of Coimbra, Portugal
|
|
13:00 – 14:30
|
Lunch
|
|
14:30 – 16:00
|
DCCS
11 - Virtual Machines (ROOM I & II)
Chair:
Shivakant Mishra, U.
Colorado, USA
VNsnap:
Taking Snapshots of Virtual Networked Environments with Minimal
Downtime
Ardalan
Kangarlou, Patrick Eugster, Dongyan Xu, Purdue Univ.
Fast
Memory State Synchronization for Virtualization-based Fault
Tolerance
Maohua
Lu, Tzi-cker Chiueh, Symantec Research Labs
I-JVM:
a Java Virtual Machine for Component Isolation in OSGi
Nicolas
Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane
Frénot, Bertil Folliot
UPMC,
INRIA/Regal, FZI Karlsruhe, and INSA Lyon
|
|
PDS
9 - Security Analysis Experiments (ROOM III)
Chair:
William Sanders, UIUC,
USA
ICT
Resilience of Power Control Systems: Experimental Results from
the CRUTIALTestbeds
G.
Dondossola, G. Garrone, J. Szanto, G. Deconinck, T.Loix, H.
Beitollahi, CESI RICERCA, Italy, K.U.Leuven ESAT / ELECTA,
Belgium
Analyzing
the Process of Installing Rogue Software
Robin
Berthier, Jorge Arjona, and Michel Cukier, Univ. of Maryland,
USA, Universidad Politecnica of Valencia, Spain
Using
Web Security Scanners to Detect Vulnerabilities in Web Services
Marco
Vieira, Nuno Antunes, and Henrique Madeira, Univ. of Coimbra -
Portugal
|
|
PDS
10 - Experiments on Failure Prediction and Error Detection (ROOM
XII & XIII)
Chair:
Johan Karlsson, Chalmers
U., Sweden
System
Log Pre-processing to Improve Failure Prediction
Ziming
Zheng, Zhiling Lan, Byung H. Park, Al Geist, Illinois Institute
of Technology, USA, Oak Ridge National Laboratory, USA
Effectiveness
of Machine Checks in Error Diagnostics
Nikhil
Pandit, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Univ. of
Illinois at Urbana Champaign, USA
An
End-to-end Approach for the Automatic Derivation of
Application-Aware Error Detectors
Galen
Lyle, Shelley Cheny, Karthik Pattabiraman, Zbigniew Kalbarczyk,
Ravishankar Iyer, SAIC, USA, Univ. of Illinois
(Urbana-Champaign), USA
|
|
16:00 –
16:30
|
Coffee
Break
|
|
16:30 – 17:30
|
Business Meetting
(ROOM I & II)
|
Submenu
|