Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Publications

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    • Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and John Lambert, NETRA: Seeing Through Access Control, in Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Association for Computing Machinery, Inc., November 2006