Taxonomic Search: dan OR huttenlocher

Results 1 - 10 of 128



Visible to the public CPS:Medium: Tightly Integrated Perception and Planning in Intelligent Robotics

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.


Visible to the public The End-to-End Verifiable Internet Voting Project


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.


Visible to the public 2014 Adoption of Cybersecurity Technology Workshop Agenda

AGENDA  as of 2 March 2015   Additional presentations added 10 April 2015


Visible to the public SoS Paper Competition 2013 - Winner Bios

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.


Visible to the public 3rd Annual Best Scientific Cybersecurity Paper Competition

3rd Annual Best Scientific Cybersecurity Paper Compet


Visible to the public Program Agenda - 2015 Big Data Workshop

Program Agenda
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control


Visible to the public News Articles about Wyvern

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.