Michael Locasto, Michael Massimi, and Peter DePasquale 2011
In Proc. New Security Paradigms Workshop