Travelled to:1 × Australia
1 × Belgium
1 × Portugal
1 × Spain
2 × Germany
2 × Italy
Collaborated with:H.Sudbrock A.Reinhard A.Sabelfeld ∅ D.Hutter T.Kraußer S.Autexier A.Schairer C.Kreitz J.Otten S.Schmitt G.Rock W.Stephan A.Wolpers M.Balser W.Reif G.Schellhorn K.Stenzel
Talks about:control (3) inform (3) secur (3) flow (3) languag (2) proof (2) logic (2) base (2) declassif (1) construct (1)
Person: Heiko Mantel
DBLP: Mantel:Heiko
Contributed to:
2012
20072006
2002
2001
199919981997Wrote 8 papers:
- LOPSTR-2012-MantelS #analysis #data flow #dependence
- Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.
- ESOP-2007-MantelR #classification #security #what
- Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.
- LOPSTR-2006-MantelSK #data flow #proving #security #verification
- Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.
- SAS-2002-SabelfeldM #communication #concurrent
- Securing Communication in a Concurrent Language (AS, HM), pp. 376–394.
- FME-2001-Mantel #data flow
- Information Flow Control and Applications — Bridging a Gap (HM), pp. 153–172.
- CADE-1999-AutexierHMS #logic
- System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.
- FM-1998-HutterMRSWBRSS #complexity #formal method #named
- VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
- CADE-1997-KreitzMOS #linear #logic #proving
- Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.