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)

Detect Malicious IP Addresses using Cross-Protocol Analysis. - Yonghong Huang; Joanna Negrete; Adam Wosotowsky; John Wagener; Eric Peterson; Armando Rodriguez; Celeste Fralick (SSCI, 2019)