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

Browse the full SACMAT paper archive.