15th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing

The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within…

FDA/CDRH/OSEL (Office of Science and Engineering Laboratories)The purpose of the meeting is to bring academics working on assurance case research and regulators considering assurance case use together to brainstorm ideas on what a generic (safety)…

The Theory of Cryptography deals with the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. Research in this area includes:

The National Institute of Standards and Technology (NIST) is sponsoring a workshop on March 13-14, 2012 in Chicago, Illinois to identify crosscutting technical barriers and knowledge gaps limiting

The National Institute of Standards and Technology (NIST), in coordination with other federal a

The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction…

The 2012 Review Meeting will be held February 27th, 2012 at Institute for Software Integrated Systems.

The 2nd International Conference on Pervasive and Embedded Computing and Communication Systems Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solutions and communication services all the time…

The FY 2012 updated  NSF Cyber-Physical Systems program solicitation (NSF 12-520) is now posted.  Details can be found at  the official NSF web page, http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503286&org=CISE.

 Reminder - Registration Open 6th MODPROD Workshop on Model-Based Product Development, Linköping University, Sweden,  February 7-8, 20124th OpenModelica Workshop, Linköping University, Sweden,  February 6, 2012Organizers: Peter…

The Network and Distributed System Security Symposium 2012 was held February 5-8, 2012, at Hilton San Diego Resort & Spa in San Diego, California.  A copy of the symposium program agenda can be found here: https://www.ndss-…

Welcome to ACSAC 2011! The 27th Annual Computer Security Applications Conference will be held in Orlando, Florida on December 5-9, 2011. ACSAC brings together hundreds of security professionals from academia, government and industry with an interest in…

The 17th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2010, will be held in Seoul, Korea.