Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. - Claiborne Johnson; Thomas MacGahan; John Heaps; Kevin Baldor; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)

Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. - Thomas MacGahan; Claiborne Johnson; Armando Rodriguez; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)