Taxonomic Search: dan OR huttenlocher
Results 1 - 10 of 128
The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.
Voting systems have strict security and privacy requirements, which are different from those in many other domains. They must not expose information that connects voters and their votes; moreover, to prevent voter coercion, individual voters must not themselves be able to expose information that proves how they voted. These requirements are fundamentally in tension with exposing enough information to determine that the counted votes match the cast votes, and are difficult to fulfill even in purely physical voting systems.
AGENDA as of 2 March 2015 Additional presentations added 10 April 2015
National Science Foundation - Fifth Annual Cyber-Physical Systems Principal Investigators' Meeting (2014)
2nd Annual Best Scientific Cybersecurity Paper Competition
Winning Paper | Honorable Mention | Award Ceremony | Review Team
The second NSA Competition for Best Scientific Cybersecurity Paper invited nominations of papers published between October 1, 2012 and December 31, 2013.
3rd Annual Best Scientific Cybersecurity Paper Compet
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control
This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.