Thomas MacGahan

According to our database, Thomas MacGahan authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.

Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017