Login / Signup
Thomas MacGahan
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Specification Language
Privacy Aware
Sensitive Information
Medical Records
Top Venues
SACMAT
</>
Publications
</>
Claiborne Johnson
,
Thomas MacGahan
,
John Heaps
,
Kevin Baldor
,
Jeffery von Ronne
,
Jianwei Niu
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.
SACMAT
(2017)
Thomas MacGahan
,
Claiborne Johnson
,
Armando Rodriguez
,
Jeffery von Ronne
,
Jianwei Niu
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language.
SACMAT
(2017)