SIFT has been awarded continued funding under DARPA's Adaptive Vehicle Make program to continue our META-X probabilistic verification efforts, leveraging SIFT's prior verification efforts for automated plan analysis.  SIFT will extend our existing probabilistic verification approach, adding importance sampling and culprit identification to our multi-component methods for functional failure analysis.  For more information, please contact the program PI, Mr.

SIFT is awarded a 3-year research contract by the Office of Naval Research. The project is entitled "HACKAR: Helpful Advice and Coding Knowledge for Attack Resistance." The HACKAR project will be a new approach to proactive analysis, detection, and diagnosis of vulnerabilities in functions and modules at development time. HACKAR will help programmers by providing advice and coding knowledge for addressing potential vulnerabilities in their code, so that programmers can be aware of these threats and fix them before the code is deployed.

SIFT Researcher Dan Thomsen presented the Future Visions 2012 symposium at Colorado State on April 12, 2012. Mr. Thomsen presented "Evolving Security Policy to meet the complexities of Tomorrow," a look at how we might turn complexity, which usually works against computer security into a tool to address simplify security administration.

SIFT Researcher Dr. Ugur Kuter has recently collaborated with University of Maryland, College Park and Naval Research Labs at Washington DC. in a total of three papers on novel AI planning formalisms and algorithms in classical and dynamic, multi-agent domains. These works will be published and presented at the 11th International Conference on Autonomous Agents and Multiagent System (AAMAS-12).

SIFT was awarded a Phase I Small Business Innovation Research grant (SBIR) by the Telemedicine & Advanced Technology Research Center (TATRC) entitled "CALM: Continuous Anger Level Management."

SIFT was awarded a phase 1 SBIR titled "SAGA: Sequential Art via Game Assistance." This SBIR combines social games and AI-directed therapy to help treat soldiers with Post Traumatic Stress Disorder by creating sequential art (graphic novels) to tell their story.

SIFT Researcher Ugur Kuter was asked to contribute a paper to and present at the Festshcrift tribute symposium given to Dana Nau. This work will subsequently be published in a book also organized by Festshcrift.

SIFT Researcher Dan Thomsen is a Guest Editor for the November/December 2012 special issue of IEEE Security & Privacy on "Lost Treasures of Computer Security & Privacy."

For more information:

SIFT Senior Researcher David McDonald's paper "The Location of Words: Evidence from generation and spatial description" has been accepted to the American Association for Artificial Intelligence (AAAI) Fall Symposium on Advances in Cognitive Systems.

SIFT Researcher Ugur Kuter has recently collaborated with Dr. Jennifer Golbeck and her students at the University of Maryland College Park, studying computational models for social trust and social interactions in adversarial scenarios. This work will be reported in two recent papers entitled "CareTaker: A Social Game for Studying Trust Dynamics" and "Coevolving Strategies in Social-Elimination Games." The first paper presents a new Web-based game that provides a framework for studying trust and understanding how trust affects social strategies developed by human players.