Pex has had high download
counts in industry and academia, e.g., more than 30,000 during a
20-month period of Feb. 2008-Oct. 2009.

Mobile
App Security: Recent work on developing Natural
Language Processing (NLP) techniques that analyze natural-language
descriptions for a mobile app to assess risk related to the permissions
declared for the app. See the USENIX
Security 2013 paper on Whyper. Various companies expressed strong
interest in the Whyper approach/tool, and Google has awarded a Google
Faculty Research Award
to support the follow-up work of Whyper.Stay tuned for more updates!

As of Sept. 2012, ACPT had been downloaded more than 130 copies by
industrial and government organizations including: NSA, MITRE, DISA,
NOAA, SAIC, DNI, Pacific Northwest National Lab, Fermi Lab, BAE
system, Lockheed Martin, Raytheon, Boeing, SMI, VA government, John
Hopkins University, and organizations from foreign countries (the
number of downloads is still growing every week).