PoliSeer: A Tool for Managing Complex Security Policies. - Daniel Lomsak; Jay Ligatti (J. Inf. Process., 2011)

Toward More Composable Software-Security Policies: Tools and Techniques. - Daniel Lomsak (2013)

PoCo: A Language for Specifying Obligation-Based Policy Compositions. - Danielle Ferguson; Yan Albright; Daniel Lomsak; Tyler Hanks; Kevin Orr; Jay Ligatti (ICSCA, 2020)