Aviation Software Systems: Design for Certifiably Dependable Systems

EUROCRYPT 2010, the 27th Annual EUROCRYPT conference on the theory and applications of cryptologic techniques, was organized by the International Association for Cryptologic Research (IACR). The conference was held on May 30 - June 3, 2010 in…

RSP 2010 - 21st IEEE International  Symposium on Rapid System Prototyping http://www.rsp-workshop.org/ The IEEE International Symposium on Rapid System Prototyping (RSP) explores trends in Rapid Product Development of Computer Based Systems. Its…

CALL FOR PAPERS: ROOTS 2010 1st International Workshop on Real-time Object-Oriented TechnologieS http://www.cs.purdue.edu/roots10 roots@cs.purdue.edu co-located with ECOOP 2010 (http://2010.ecoop.org) June 21-25, Maribor, Slovenia Important Dates…

ICDCS 2010 - The 30th International Conference on Distributed Computing Systems   The conference provides a forum for engineers and scientists in academia, industry and government to present their latest research findings in any aspects of…

The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) has pioneered the fusion between dependability and security research, understanding the need to simultaneously fight against accidental faults, intentional cyber-…

ICESS 2010 - Intl. Conference on Embedded Software and Systems http://www.scim.brad.ac.uk/~ylwu/ICESS2010/ Embedded systems are closely related to our daily life, which reside from smart appliances to unmanned trains. As the fastest growing industry,…

ACC2010  -- American Control Conference Baltimore, Maryland, USA  Baltimore Marriott Waterfront http://www.a2c2.org/conferences/acc2010/ The ACC is the annual conference of the American Automatic Control Council (AACC). AACC is the U.S.…

The sixth Symposium on Usable Privacy and Security (SOUPS) was held July 14-16, 2010 at Microsoft in Redmond, WA. This symposium brought together an interdisciplinary group of researchers and practitioners in human computer interaction, security, and…

CompCPS-2010  -- The First Australasian Workshop on Computation in Cyber-Physical Systems Sydney, Australia http://www.prokopenko.net/CompCPS-2010.html Motivation A cyber-physical systems (CPS) is a system coherently combining computational and…

The Computer Security Foundations Symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was…

The 10th Privacy Enhancing Technologies Symposium will bring together anonymity and privacy experts from around the world to discuss recent advances and new perspectives in privacy for the Internet and other communication networks. The symposium seeks…

The Westin Arlington Gateway, Arlington, VA [Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations] The CPS Principal Investigator Meeting provides a forum for a wide range of…

Birds of a feather flocked to this session to discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic…

 UKC 2010 -- Cyber Physical Systems Symposium Conference Date: August 12-15 (Thu-Sun), 2010 Venue: Hyatt Regency Bellevue, Bellevue, Washington, USA Extended One-Page Abstract Due: April 15, 2010 Notification to Authors: April 30, 2010 Final One-…