Get started
Author

Christian Appold

Observed names: Appold, Christian, Appold, Christian ca. 21. Jh
Institution: Denso (Germany)
ORCID: 0009-0001-1304-0891
Observed ORCID: 0009-0001-1304-0891
OpenAlex ID: A5057425753
Formal Verification of Security Properties on RISC-V Processors
2023 · Czea Sie Chuah, Christian Appold, et al. · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) · 13
PDF
Analysis of Radio Signal Parameters for Calibrating RSSI Localization Systems
2009 · Marcel Baunach, Clemens Mühlberger, et al. · 5
Trojan Assets and Attack Vectors in Processors
2024 · Czea Sie Chuah, Alexander Hepp, et al. · International Symposium on Quality Electronic Design (ISQED) · 1
Reliable Hardware Trojan Detection for RISC-V Processors using Formal Verification and Automation
2026 · Czea Sie Chuah, Christian Appold, et al. · International Symposium on Quality Electronic Design (ISQED)
Reusing Assertion Properties as Hardware Checkers: Implementation and their Software and Hardware Recovery
2026 · Czea Sie Chuah, Christian Appold, et al. · International Symposium on Quality Electronic Design (ISQED)
Enabling Gem5 for Side-Channel Power Attack Simulation of Cryptographic Algorithms
2025 · Christian Appold, Yong Hu, et al. · Hardware and Architectural Support for Security and Privacy
Verbundprojekt: Neuartige Designmethoden für vertrauenswürdige Elektronikschaltungen - VE-DIVA-IC
2025 · Chuah, Czea Sie, Appold, Christian, et al. · RENATE
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
2015 · Christian Appold
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking.
2014 · Christian Appold · MBMV
Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions.
2012 · Christian Appold · MBMV
Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
2011 · Christian Appold · MBMV
Enabling Real-Time in WSN Applications
2009 · Marcel Baunach, Clemens Mühlberger, et al. · International Conference on Embedded Wireless Systems and Networks
Works count: 13
Citation count: 19
H-index: 2
I10-index: 1
Year
Topic
Type