Concepedia

Heiko Mantel

HM

Statistics

Publications

16

Citations

700

H-Index

13

Active since

2000

Affiliations

Technical University of Darmstadt(Current)

German Research Centre for Artificial Intelligence

RWTH Aachen University

Chalmers University of Technology

Heiko Mantel is an author at Technical University of Darmstadt specializing in engineering, information security, and formal methods.

Top concepts

EngineeringInformation SecurityData SecurityFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisCryptographyHardware Security

Publications per year

2000–2019

16

Publications

16

Possibilistic definitions of security-an assembly kit

Heiko Mantel · 2002 · 150 citations

Engineering, Information Security, Verification +19

On the composition of secure systems

Heiko Mantel · 2005 · 126 citations

Engineering, Information Security, Verification +18

Assumptions and Guarantees for Compositional Noninterference

Heiko Mantel, David Sands, Henning Sudbrock · 2011 · 75 citations · Full text

Engineering, Information Security, Composition Approach +24

A unifying approach to the security of distributed and multi-threaded programs1

Heiko Mantel, Andrei Sabelfeld · Journal of Computer Security · 2003 · 58 citations

Engineering, Information Security, Software Analysis +20

A generic approach to the security of multi-threaded programs

Heiko Mantel, Andrei Sabelfeld · 2005 · 49 citations

Engineering, Information Security, Generic Approach +19

1–5 of 16