Concepedia

Christian Helmuth

CH

5

Publications

384

Citations

5

H-Index

2006

Active since

Affiliations

Technische Universität Dresden(Current)

Georgia Institute of Technology

Christian Helmuth is an author at Technische Universität Dresden specializing in data security, cryptography, and system software.

Top concepts

EngineeringCryptographyData SecuritySystem SoftwareComputer ScienceSoftware AnalysisInformation SecurityProgram AnalysisSoftware SecurityFormal Verification

Publications per year

2006–2012

5

Publications

5

Reducing TCB complexity for security-sensitive applications

Lenin Singaravelu, Calton Pu, Hermann Härtig et al. · 2006 · 165 citations

Engineering, Information Security, Formal Verification +16

The Nizza Secure-System Architecture

Hermann Härtig, Michael Hohmuth, Norman Feske et al. · 2006 · 88 citations

Nizza Secure-system Architecture, Trusted Wrappers, Engineering +21

A Nitpicker&amp;#146;s guide to a minimal-complexity secure GUI

Norman Feske, Christian Helmuth · 2006 · 79 citations

Engineering, Information Security, Commodity Software +16

Reducing TCB complexity for security-sensitive applications

Lenin Singaravelu, Calton Pu, Hermann Härtig et al. · ACM SIGOPS Operating Systems Review · 2006 · 34 citations

Engineering, Information Security, Formal Verification +16

Design of the Bastei OS Architecture

Norman Feske, Christian Helmuth · Qucosa (Saxon State and University Library Dresden) · 2012 · 18 citations · Full text

Rows per page

1–5 of 5