Henning Sudbrock
发表
Heiko Mantel,
Oliver Bracevac,
Markus Tasch,
2018,
Arch. Formal Proofs.
Henning Sudbrock,
Henning Sudbrock,
2013
.
Heiko Mantel,
Markus Aderhold,
Jorge Cuéllar,
2010
.
David Sands,
Heiko Mantel,
Henning Sudbrock,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Heiko Mantel,
Richard Gay,
Henning Sudbrock,
2015,
Int. J. Secur. Softw. Eng..
Heiko Mantel,
Henning Sudbrock,
2008,
Formal Aspects in Security and Trust.
Heiko Mantel,
Tina Kraußer,
Henning Sudbrock,
2006,
LOPSTR.
Hui Shao,
Sorin A. Huss,
Heiko Mantel,
2008
.
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2010,
ESORICS.
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2012,
LOPSTR.