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…

The Westin Arlington Gateway, Arlington, VA [Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations]

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 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…

CompCPS-2010  -- The First Australasian Workshop on Computation in Cyber-Physical Systems Sydney, Australia http://www.prokopenko.net/CompCPS-2010.html

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…

ACC2010  -- American Control Conference

ICESS 2010 - Intl. Conference on Embedded Software and Systems

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-…

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…

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…

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…

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…

Aviation Software Systems: Design for Certifiably Dependable Systems

ERTS² (Embedded Real Time Software & Systems) Conference Toulouse, France May 19 to 21 2010 http://www.erts2010.org/ The ERTS2 2010 conference that will take place in May in Toulouse, France. The conference is held for the fifth time and has without…