Alexander Reinhard
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 3 | Alexander Lux, Heiko Mantel: Declassification with Explicit Reference Points. ESORICS 2009: 69-85 | |
| 2008 | ||
| 2 | Alexander Lux, Heiko Mantel: Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49 | |
| 2007 | ||
| 1 | Heiko Mantel, Alexander Reinhard: Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156 | |
| 1 | Heiko Mantel | [1] [2] [3] |