Taxonomic Search: dan OR huttenlocher

Results 1 - 10 of 133



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 C3E Program page


C3E 1-Day Event, 19 June 2015


Friday, June 19th

0800-0830                   Arrival


Visible to the public Vulnerability Detection (2014 Year in Review), Part 4


SoS Logo

Vulnerability Detection
(2014 Year in Review)
Part 4



Visible to the public 2015 Adoption of Cybersecurity Technology Workshop Agenda

AGENDA     last updated 10 April 2015


Visible to the public October 2014 C3E Workshop Agenda

Proceedings Begin: 0800 Monday, October 20th
Proceedings End: 1230 Wednesday, October 22nd.

Sunday, October 19, 2014

7:00 pm to 9:00 pm

Participants Arrive at Georgia Tech/Atlanta Midtown Courtyard Marriot


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.


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.