Andreas Gampe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |