| 2017 | SACMAT | Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. | Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu |
| 2017 | SACMAT | 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 |
| 2013 | PLDI | Security completeness: towards noninterference in composed languages. | Andreas Gampe, Jeffery von Ronne |
| 2013 | SACMAT | Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. | Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough |
| 2009 | SAS | A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
| 2007 | EUROGP | FIFTH | Kenneth L. Holladay, Kay Robbins, Jeffery von Ronne |
| 2001 | PLDI | SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. | Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne |