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
Data
Management Mechanisms for Embedded System Gateways
Low
Overhead Soft Error Mitigation Techniques for High-Performance
and Aggressive Systems
An
Energy Efficient Circuit Level Technique to protect Register
File from MBUs and SETs in Embedded Processors |
DCCS6 – Tools and Demonstrations (ROOM III) Chair: Kaustubh Joshi, AT&T Labs Research, USA
Xprobe2++:
Low Volume Remote Network Information Gathering Tool
Deterministic
High-Speed Simulation of Complex Systems Including
Fault-Injection
Intrusion-Tolerant
Self-Healing Devices for Critical Infrastructure
Protection
Design
and Development of a Proof-of-concept Platooning Application
using the HIDENETS Architecture |
|
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
A
QoS-Aware Fault Tolerant Middleware for Dependable Service
Composition
Efficient
Resource Management on Template-based Web Servers
Stretching
Gossip with Live Streaming |
|
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
Sharing
End-user Negative Symptoms for Improving Overlay Network
Dependability
Automatic
Fault Detection and Diagnosis in Complex Software Systems by
Information-Theoretic Monitoring |
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
Spam
Detection in Voice-Over-IP Calls through Semi-Supervised
Clustering
Blue-Watchdog:
Detecting Bluetooth Worm Propagation in Public Areas |
|
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
Precise
Request Tracing and Performance Debugging for Multi-tier Service
of Black Boxes |
PDS 6 - Tools and Demonstrations (ROOM III) Chair: Karama Kanoun, LAAS-CNRS, France
Report
Generation for simulation Traces with Traviando
Möbius
2.3: An Extensible Tool for Dependability, Security, and
Performance Evaluation of Large and Complex System Models |
|
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) |