« Copilot and the Arduino | Main | Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot »

Galois chosen for DARPA project in Android security

DARPA has selected Galois, Inc for a Phase 1 project to develop software tools to enforce inter-application security on the Android operating system. The goal of the project is to prevent untrusted applications from accessing sensitive data or capabilities (such as GPS), whether directly, or through intermediary applications on a device.

The proposed tools will address two classes of security threats to mobile devices:

  • execution of dangerous code; and
  • inter-application information flows that violate privacy or confidentiality.

This project builds on Galois' expertise in static analysis and information flow analysis, conducted under the Evaluator Tools and Program Analysis research programs.

For more information contact lead investigator, Dr. Joe Hurd.

Reader Comments (2)

Congratulations (also for the two recent awards from Army Research and NASA)! Great to hear such a flurry of good news items!
December 13, 2010 | Unregistered CommenterRishiyur Nikhil
Super exciting!!Congrats everyone.
December 23, 2010 | Unregistered CommenterSharonG

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>