Jan Nordholz

Physikalisch-Technische Bundesanstalt — Germany

Computer Science · Physical Sciences

5h-index65citations18works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Security and Verification in Computing(13), Advanced Malware Detection Techniques(8), Parallel Computing and Optimization Techniques(3), Distributed systems and fault tolerance(3), Cryptographic Implementations and Security(3)

Publications18 total

Power Optimisation for a Verifiably Secure Separation Kernel
2023· 1 cited
A demonstrator for measurement workflows using digital calibration certificates (DCCs)
Measurement Sensors·2021· 9 citedOpen Access
Design of a symbolically executable embedded hypervisor
2020· 5 cited
Security for Distributed Smart Meter: Blockchain-based Approach, Ensuring Privacy by Functional Encryption
2020· 7 citedOpen Access
Minimizing Event-Handling Latencies in Secure Virtual Machines
arXiv (Cornell University)·2018Open Access
Fault Attacks on Encrypted General Purpose Compute Platforms
2017· 10 cited
Design and provability of a statically configurable hypervisor
DepositOnce·2017· 1 citedOpen Access
Fault Attacks on Encrypted General Purpose Compute Platforms
arXiv (Cornell University)·2016· 1 citedOpen Access
The Threat of Virtualization: Hypervisor-Based Rootkits on the ARM Architecture
Lecture notes in computer science·2016· 9 cited
Uncloaking Rootkits on Mobile Devices with a Hypervisor-Based Detector
Lecture notes in computer science·2016· 2 cited
XNPro
2015· 6 cited
Undermining Isolation Through Covert Channels in the Fiasco.OC Microkernel
Lecture notes in electrical engineering·2015· 2 cited
Undermining Isolation through Covert Channels in the Fiasco.OC Microkernel.
IACR Cryptology ePrint Archive·2014· 2 cited
L4Android security framework on the Samsung galaxy S2
ACM SIGMOBILE Mobile Computing and Communications Review·2013· 4 cited
Improving Trusted Tickets with State-Bound Keys
Lecture notes in computer science·2013
Disturbed playing: another kind of educational security games
2012· 5 cited
Hotmobile 2012 Demo: L4Android Security Framework on the Samsung Galaxy S2
2012· 1 cited
PED - Python external decompiler.
Informatiktage·2007

Frequent Co-authors

Janis Danisevskis(7), Julian Vetter(6), Michael Peter(5), Jean‐Pierre Seifert(4), Robert Buhren(3), Shay Gueron(2), Matthias Junker-Petschick(2), Matthias Lange(2), Steffen Liebergeld(2), Adam Lackorzyński(2), Alexander Warg(2), Matthias Petschick(2), Thomas Bruns(1), Dirk Röske(1), Thorsten Schräder(1), Artem Oleksandrovych Yurchenko(1), Mahbuba Moni(1), Daniel Peters(1), Florian Thiel(1), Sebastian Koch(1)