The Grey Project

Co-leads: Lujo Bauer and Mike Reiter

The Grey project is an experiment to create a universal and highly secure access-control system via a smartphone app. Grey builds from formal techniques for proving authorization that assure sound access decisions and that permit virtually unlimited flexibility in the policies that can be implemented.

Grey has been used to provide access to physical space, computer logins, and web applications. Grey has been deployed since 2005 in parts of the Collaborative Innovation Center on CMU's campus and is currently in regular use by 50+ people and provides secure access to 40+ office and lab spaces.


Demo video

Publications ","\n\n", array("penumbra:fast14", "prediction:codaspy12", "bauer+11:prediction-tissec", "bgr08", "bauer+08:comparing", "bgr07", "bcrv07", "bbgpr07:consumable", "hotmobile07", "garg+:esorics06", "bauer+:grey", "bauer+:disprove"), ""); ?>


Last updated 2015.12.07. Copyright © 2007-15 by Lujo Bauer & Mike Reiter.