Controlling Access to Documents: A Formal Access Control Model. - Paul E. Sevinç; David A. Basin; Ernst-Rüdiger Olderog (ETRICS, 2006)

Specifying and analyzing security automata using CSP-OZ. - David A. Basin; Ernst-Rüdiger Olderog; Paul E. Sevinç (AsiaCCS, 2007)

Securing the Distribution and Storage of Secrets with Trusted Platform Modules. - Paul E. Sevinç; Mario Strasser; David A. Basin (WISTP, 2007)

Securing information by controlling access to data in documents. - Paul E. Sevinç (2007)