selected publications

• blog posting

  • Trusted Enforcement of Application-specific Security Policies.  arXiv (Cornell University). 2021

• chapter

  • Putting the Pieces Together: Model-Based Engineering Workflows for Attribute-Based Access Control Policies.  Communications in computer and information science. 249-280. 2023
  • Trusted Implementation and Enforcement of Application Security Policies.  Communications in computer and information science. 362-388. 2023