Workshops

1. Workshop on Cyber Physical System on 8th October 2012
2. Workshop on Dependable Network Computing and Mobile Systems (DNCMS2012) on 8th October 2012
3. Workshop on Dependability Issues in Cloud Computing (DISCCO) on 11th October 2012

Workshops Schedule

First International Workshop on Cyber Physical Systems (WRCPS 2012), Monday October 8, 2012   Location: Huntington
7.30 - 8.30 am	Registration and breakfast
8.30 - 9.00 am	Welcome and Introduction
9.00 - 10.30 am	Invited talks
10.30 - 11.00 am	Tea
11.00 - 12.30 pm	Position paper + open discussion
12.30 - 1.30 pm	Lunch
1.30 - 3.00 pm	Invited talks + position papers + open discussion
3.00 - 3.30 pm	Tea
3.30 - 5.30 pm	Panel + open discussion

Fifth International Workshop on Dependable Network Computing and Mobile Systems (DNCMS2012), Monday October 8, 2012   Location: Balboa
7.30 - 8.30 am	Registration and breakfast
8.30 - 10.30 am	Authors can attend the Workshop on Cyber Physical Systems in this time
10.30 - 11.00 am	Tea
11.00 - 12.30 pm	Authors can attend the Workshop on Cyber Physical Systems in this time
12.30 - 1.30 pm	Lunch
1.30 - 2.30 pm	Authors can attend the Workshop on Cyber Physical Systems in this time
2.30 - 3.40 pm	Keynote Talk
3.40 - 4.00 pm	Tea
4.00 - 5.40 pm	Regular Papers

First International Workshop on Dependability Issues in Cloud Computing (DISCCO), Thursday October 11, 2012   Location: NewPort
8.00 - 9.00 am	Registration and breakfast
9.00 - 9.15 am	Welcome and Introduction
9.15 - 10.15 am	Keynote Talk 1
10.15 - 10.40 am	Regular Papers
10.40 - 11.00 am	Tea
11.00 - 12.00 pm	Keynote Talk 2
12.00 - 12.50 pm	Regular Papers
12.50 - 2.00 pm	Lunch
2.00 - 3.30 pm	Regular papers plus Position Paper

Workshop on Dependable Network Computing and Mobile Systems (DNCMS2012), Monday October 8, 2012

Keynote Talk (2.30 - 3.40 pm)

• Vana Kalogeraki, Athens University of Economics and Business, Greece, Reliable Real-time Human-Centered Mobile Systems

Regular Papers (4.00 - 5.40 pm)

• Rui Jiang and Yuan Xing. Anonymous On-demand Routing and Secure Checking of Traffic Forwarding for Mobile Ad Hoc Networks
• Chetan Jaiswal and Vijay Kumar. Pairwise Key Generation Scheme for Cellular Mobile Communication
• Harsha Nagarajaiah, Shambhu Upadhyaya, and Vinodh Gopal. Data De-duplication and Event Processing for Security Applications on an Embedded Processor
• Indrakshi Ray, Sanjay K. Madria, and Mark Linderman. Query Plan Generation in a Heterogeneous Stream Management System for Situational Awareness
• Ruchith Fernando, Bharat Bhargava,and Mark Linderman. Private Anonymous Messaging

Workshop on Dependability Issues in Cloud Computing (DISCCO)

Keynote Talk 1 (9.15 - 10.15 am)

• Douglas C. Schmidt, Vanderbilt University, USA. Dependable Computing Clouds for Cyber-Physical Systems

Regular Papers (10.15 - 10.40 am)

• Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub and Alexandre Van Kempen. Regenerating Codes: A System Perspective.

Keynote Talk 2 (11.00 - 12.00 pm)

• Sara Bouchenak, University of Grenoble I, France. SLA and quality of service for Cloud Computing

Regular Papers (12.00 - 12.50 pm)

• Moussa Taifi. Banking on Decoupling: Budget-driven Sustainability for HPC Applications on EC2 Spot Instances
• Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Bessani, Fernando Ramos, and Paulo Verissimo. On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds

Regular Papers plus Position Paper(2.00 - 3.30 pm)

• Tiancheng Chang and Hein Meling. Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure (Position Paper)
• Sara Arbab Yazd, Subbarayan Venkatesan and Neeraj Mittal. Energy Efficient Hadoop using Mirrored Data Block Replication Policy
• Mehmet Tahir Sandikkaya and Ali Emre Harmanci. Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the Problems
• Sebastian Graf, Patrick Lang, Stefan A. Hohenadel and Marcel Waldvogel. Versatile Key Management for Secure Cloud Storage

Main Symposium- 9th to 11th October 2012

Program

Tuesday October 9, 2012 Location: Huntington
7.30 - 8.30 am	Registration and breakfast
8.30 - 9.00 am	Welcome
9.00 - 10.00 am	Keynote Talk Julie Brichacek, Chief, Informations Systems Divsion at Air Force Research Laboratory, Rome, NY.
10.00 - 10.30 am	Tea
10.30 - 12.30 pm	Regular papers			Security and Dependability
12.30 - 1.45 pm	Lunch
1.45 - 3.45 pm	Regular papers			Clouds and Cluster Systems
3.45 - 4.05 pm	Tea
4.05 - 6.05 pm	Regular papers			Transactional Systems and Replication
6.05 - 7.30 pm	Free time
7.30 - 9.30 pm	Reception (Hors d'oeuvre)
Wednesday October 10, 2012   Location: Huntington, NewPort
8.00 - 9.00 am	Registration and breakfast
9.00 - 10.00 am	Keynote Talk Keith Marzullo, Director of Computer and Network Systems (CNS), National Science Foundation, USA.
10.00 - 10.30 am	Tea
10.30 - 12.30 pm	Regular papers			Backup and Storage Systems
12.30 - 1.45 pm	Lunch
1.45 - 3.45 pm	Regular papers			Distributed and Byzantine Algorithms
3.45 - 4.05 pm	Tea
4.05 - 5.45 pm	Short papers (5) parallel Short paper (5) parallel (Location: NewPort)			Security, Dependability, and Fault Tolerance Ad Hoc, Cellular and Sensor Networks
5.45 - 6.30 pm	Free time
6.30 - 7.30 pm	Poster papers			PhD Forum
7.30 - 10.30 pm	Conference Banquette
Thursday October 11, 2012 Location: Huntington
8.00 - 9.00 am	Registration and breakfast
9.00 - 10.40 am	Short papers			Geographically Distributed Systems and Service Systems
10.40 - 11.00 am	Tea
11.00 - 1.00 pm	Regular papers			Sensor Networks and Multi-Radio Networks
1.00 - 2.00 pm	Lunch
2.00 - 4.00 pm	Regular papers			Gossip Protocols and Reliability Middleware Solutions
4.00 - 4.20 pm	Tea
4.20 - 5.40 pm	Short papers			Clouds and Storage Systems

Keynote   Session Chair: Sanjay Madria

Title: "Air Force Technical Challenges in facing C2 and Information Management Systems in light of AF Cyber Vision 2020"
Biography: Ms. Julie Brichacek is Chief of Information Systems Division at Air Force Research Laboratory Information Directorate. The Information Systems Division leads the discovery, development, and integration of innovative technologies and systems that provide state-of-the-art, integrated command and control and information management technologies for Air Force and joint warfighters. In her capacity, she set strategic goals,leads 170 scientist and engineers (both government and contractor) and support staff, plans and executes in-house technology development and $200M active technical contracts.
Prior to this, she was Chief, Cyber C2 Branch which first ever branch focused on science and technology challenges of command and control in cyber domain. Other assignments include: Deputy for C4I technologies in the Science and Technology Division for the Air Force¹s Deputy Assistant Secretary (Science, Technology and Engineering), Pentagon Washington DC; Chief, Information Systems Research Branch; strategic planner, plans and programming (AFRL/XP). She is a senior fellow for Excellence in Government and holds degrees in electrical engineering from the University of Detroit and Syracuse University.

Security and Dependability   Session Chair: Fernando Pedone

• Xiaowei Li, Yuan Xue and Brad Malin. Detecting Anomalous User Behaviors in Workflow-driven Web Applications
• Daniel Germanus, Robert Langenberg, Abdelmajid Khelil and Neeraj Suri. Susceptibility Analysis of Structured P2P Systems to Localized Eclipse Attacks
• Amit Sangroya, Damián Serrano and Sara Bouchenak. Benchmarking Dependability of MapReduce Systems
• Pengsu Cheng, Lingyu Wang, Sushil Jajodia, and Anoop Singhal. Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics

Clouds and Cluster Systems   Session Chair: Aniruddha Gokhale

• Amir R. Khakpour and Alex X. Liu. First Step Toward Cloud-Based Firewalling
• Henry C. H. Chen and Patrick P. C. Lee. Enabling Data Integrity Protection in Regenerating-Coding-Based Cloud Storage
• Xi Chen, Xue Liu, Shengquan Wang and Xiao-Wen Chang. TailCon: Power-Minimizing Tail Percentile Control of Response Time in Server Clusters
• Xiaoyu Fu, Rui Ren, Jianfeng Zhan, Wei Zhou, Zhen Jia and Gang Lu. LogMaster: Mining Event Correlations in Logs of Large-scale Cluster Systems

Transactional Systems and Replication   Session Chair: Sharad Mehrotra

• Daniele Sciascia and Fernando Pedone. RAM-DUR: In-Memory Deferred Update Replication
• Sebastiano Peluso, João Fernandes, Paolo Romano, Francesco Quaglia and Luís Rodrigues. SPECULA: Speculative Replication of Software Transactional Memory
• Pawel T. Wojciechowski, Tadeusz Kobus and Maciej Kokocinski. Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes
• Martin Biely, Zarko Milosevic, Nuno Santos and André Schiper. S-Paxos: Offloading the leader for high-throughput State Machine Replication

Keynote   Session Chair: Sharad Mehrotra

Title: Federal Research Priorities that Intersect Reliable Distributed Systems
Abstract: I'll present some recent NSF solicitations and the results of some recent studies that identify priorities which intersect the goals of SRDS. These priorities include disasters, big data, and architecture.
Biography: Keith Marzullo is currently the Division Director for the Computer and Network Systems (CNS) Division at the National Science Foundation. This division is one of the three in the Computer and Information Science and Engineering (CISE) Directorate. He is at NSF on leave from the Computer Science and Engineering Department at the University of California, San Diego. He has been on the UCSD faculty since 1993. He received his Ph.D. in Electrical Engineering from Stanford University in 1984; for his Ph.D. he developed the Xerox Research Internet Clock Synchronization protocol, which was one of the first practical fault-tolerant protocols that addressed this issue. In 1986, he left Xerox and joined the CS Department at Cornell University where with colleagues Ken Birman and Robert Cooper, he started the company ISIS Distributed Systems, which provided middleware for fault tolerant distributed applications; this software was used by financial and investment institutions. He served as a Professor at Large in the Computer Science Department at the University of Tromso from 1999-2003, was Chair of ACM SIGOPS from 2003-2007, and Chair of the CSE Department from 2006-2010. His current research focuses on issues in distributed systems and security. He is a Fellow of the ACM.

Backup and Storage Systems   Session Chair: Andrea Bondavalli

• Dylan Clarke and Paul Ezhilchelvan. FORTRESS: Adding Intrusion-Resilience to Primary-Backup Server Systems
• André Oriani and Islene Garcia. From Backup to Hot Standby: High Availability for HDFS
• Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade and Kishor S. Trivedi. Availability Modeling and Analysis for Data Backup and Restore operations
• Anne-Marie Kermarrec, Erwan Le Merrer, Gilles Straub and Alexandre van Kempen. Availability-based methods for distributed storage systems

Distributed and Byzantine Algorithms   Session Chair: Vana Kalogeraki

• Bruno Vavala and Nuno Neves. Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions
• Jingqiang Lin, Bo Luo, Jiwu Jing and Xiaokun Zhang. GRADE: Graceful Degradation in Byzantine Quorum Systems
• Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc and Anne-Marie Kermarrec. Scalable and Secure Polling in Dynamic Distributed Networks
• Olivier Heen, Erwan Le Merrer, Christoph Neumann and Stéphane Onno. Distributed and Private Group Management

Security, Dependability, and Fault Tolerance   Session Chair: Leszek T. Lilien

• Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati and Ernesto La Mattina. Improving Security of Internet Services Through Continuous and Transparent User Identity Verification
• Zhang Fu and Marina Papatriantafilou. Off The Wall: Lightweight Distributed Filtering to Mitigate Distributed Denial of Service Attacks
• Roberto Di Pietro, Fabio Martinelli, and Nino Vincenzo Verde. Broadcast Authentication for resource constrained devices: a major pitfall and some solutions
• Kossi Tiassou, Karama Kanoun, Mohamed Kaaniche, Christel Seguin and Chris Papadopoulos. Impact of Operational Reliability re-Assessment during Aircraft Missions
• Yiyan Lin and Sandeep Kulkarni. Automatic Generation of Graceful Programs

Ad Hoc, Cellular and Sensor Networks   Session Chair: Rajesh Panta

• Thomas Hinterhofer, Hans-Peter Schwefel and Slobodanka Tomic. RD2: Resilient Dynamic Desynchronization for TDMA over Lossy Networks
• Jerzy Brzezinski, Michal Kalewski, and Jacek Kobusinski. Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property
• Petr Novotny, Alexander L. Wolf and Bong Jun Ko. Fault Localization in MANET-Hosted Service-Based Systems
• Kousaburo Hari, Tadashi Dohi and Kishor S. Trivedi. Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel
• Zhen Jiang, Jie Wu, Minyi Guo, Zhenping Zhao and Donghong Wu. A Quick and Reliable Routing for Infrastructure Surveillance with Wireless Sensor Networks

Posters   Session Chair: Sanjay Madria

• Husanbir S. Pannu, Jianguo Liu and Song Fu. AAD: Adaptive Anomaly Detection System for Cloud Computing Infrastructures
• Olivier Baldellon, Jean-Charles Fabre and Matthieu Roy. Distributed Monitoring of Temporal System Properties using Petri Nets
• Prithviraj Patil and Aniruddha Gokhale. Improving the Reliability and Availability of Vehicular Communications using Voronoi Diagram-based Placement of Road Side Units
• Marta Palanques, Roberto Dipietro, Carlos Del Ojo, Marcel Malet, Miquel Mariño and Toni Felguera. Secure Cloud Browser: model, architecture and experiments to support secure WEB navigation
• Christian Inzinger, Waldemar Hummer, Benjamin Satzger, Philipp Leitner and Schahram Dustdar. Towards Identifying Root Causes of Faults in Service-Based Applications

PhD Forum   Session Chair: Aniruddha Gokhale

• Brijesh Kashyap Chejerla, Sanjay Madria. Securing a Wireless Networked Control System Using Information Fusion
• Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert. Exploring Compile Time Caching of Explicit Queries in Programming Codes
• Roy Cabaniss, Vimal Kumar, and Sanjay Madria. Three Point Encryption (3PE) - Secure Communications in Delay Tolerant Networks
• Joseph W. Baird. TAIRO: Trust-aware Automatic Incremental Routing for Opportunistic Resource Utilization Networks
• Kyoungho An. Strategies for Reliable, Cloud-based Distributed Real-time and Embedded Systems
• Prithviraj Patil. Towards Reliable Communication In Intelligent Transportation Systems
• Abbasl, BanaiyanMofrad. Reliable On-Chip Memory Design for CMPs

Geographically Distributed Systems and Service Systems   Session Chair: Sanjay Madria

• Vinit Padhye and Anand Tripathi. Causally Coordinated Snapshot Isolation for Geographically Replicated Data
• Kyungbaek Kim, Ye Zhao and Nalini Venkatasubramanian. GSFord: Towards a Reliable Geo-Social Notification System
• Qiang Fu, Jian-Guang Lou, Qing-Wei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, and Tao Xie. Performance Issue Diagnosis for Online Service Systems
• Mehdi Azarmi, Bharat Bhargava, Pelin Angin, Rohit Ranchal, Norman Ahmed, Asher Sinclair, Mark Linderman and Lotfi Ben Othmane. An End-to-End Security Auditing Approach for Service Oriented Architectures
• Ioannis Boutsis and Vana Kalogeraki. RADAR: Adaptive Rate Allocation in Distributed Stream Processing Systems under Bursty Workloads

Sensor Networks and Multi-radio Networks   Session Chair: Takahiro Hara

• Rajesh Krishna Panta, James A. Pelletier, and Gregg Vesonder. Efficient Asynchronous Low Power Listening for Wireless Sensor Networks
• Md Zakirul Alam Bhuiyan, Jiannong Cao, Guojun Wang and Xuefeng Liu. Energy-Efficient and Fault-Tolerant Structural Health Monitoring in Wireless Sensor Networks
• Mingjun Xiao, Jie Wu and Liusheng Huang. Time-Sensitive Utility-Based Routing in Duty-Cycle Wireless Sensor Networks with Unreliable Links
• Roy Friedman and Alex Kogan. Efficient and Reliable Multicast in Multi-Radio Networks

Gossip Protocols and Reliability Middleware Solutions   Session Chair: Nalini Venkatasubramanian

• Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens and Isabelle Demeure. Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies
• Thomas Meyer and Christian Tschudin. A Theory of Packet Flows Based on Law-Of-Mass-Action Scheduling
• Ngoc Do, Cheng-Hsin Hsu and Nalini Venkatasubramanian. HybCAST: Rich Content Dissemination in Hybrid Cellular and 802.11 Ad Hoc Networks
• Akshay Dabholkar, Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai and Nagabhushan Mahadevan. Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation

Clouds and Storage Systems   Session Chair: Nino Verde

• James Edmondson, Aniruddha Gokhale and Douglas Schmidt. Approximation Techniques for Maintaining Real-time Deployments Informed by User-provided Dataflows Within a Cloud
• Qingyang Wang, Yasuhiko Kanemasa, Jack Li, Deepal Jayasinghe, Motoyuki Kawaba and Calton Pu. Response Time Reliability in Cloud Environments: An Empirical Study of n-Tier Applications at High Resource Utilization
• Rossana Motta and Joseph Pasquale. A Quantitative Comparison of Reactive and Proactive Replicated Storage Systems
• Mohammad Iftekhar Husain, Steve Uurtamo, Steve Y. Ko, Atri Rudra and Ramalingam Sridhar. PGV: A Storage Enforcing Remote Verification Scheme