Speculative improvements to verifiable bounds check elimination. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Kleanthis Psarris (PPPJ, 2008)

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. - David Niedzielski; Jeffery von Ronne; Andreas Gampe; Kleanthis Psarris (SAS, 2009)

Safe bounds check annotations. - Jeffery von Ronne; Andreas Gampe; David Niedzielski; Kleanthis Psarris (Concurr. Comput. Pract. Exp., 2009)

Safe, multiphase bounds check elimination in Java. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Jonathan Vasek; Kleanthis Psarris (Softw. Pract. Exp., 2011)

The privacy in the time of the internet: secrecy vs transparency. - Murillo Pontual; Andreas Gampe; Omar Chowdhury; Bazoumana Kone; Md. Shamim Ashik; William H. Winsborough (CODASPY, 2012)

Security completeness: towards noninterference in composed languages. - Andreas Gampe; Jeffery von Ronne (PLAS, 2013)

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. - Omar Chowdhury; Andreas Gampe; Jianwei Niu 001; Jeffery von Ronne; Jared Bennatt; Anupam Datta; Limin Jia 001; William H. Winsborough (SACMAT, 2013)

An Assessment of Remote Laboratory Experiments in Radio Communication. - Andreas Gampe; Arsen Melkonyan; Murillo Pontual; David Akopian (IEEE Trans. Educ., 2014)

Facilitating Remote Laboratory Deployments Using a Relay Gateway Server Architecture. - Arsen Melkonyan; Andreas Gampe; Murillo Pontual; Grant Huang; David Akopian (IEEE Trans. Ind. Electron., 2014)