Author

Nicholas Gordon

Observed name: Gordon, Nicholas

Institution: Barkhausen Institut

Observed institution: Barkhausen Institut

ORCID: 0000-0002-4878-9827

Observed ORCID: 0000-0002-4878-9827

OpenAlex ID: A5119790811

Applying Modern Verification Techniques to a Root-of-Trust Bootloader

2025 · Nicholas Gordon, Carsten Weinhold · Workshop on Programming Languages and Operating Systems (PLOS) · 1

ASPLOS'26 Artifact for TEEM³: Core-Independent and Cooperating Trusted Execution Environments

2026 · Asmussen, Nils, Haas, Sebastian, et al. · Zenodo (CERN European Organization for Nuclear Research)

T EE M³: Core-Independent and Cooperating Trusted Execution Environments

2026 · Nils Asmussen, Sebastian Haas, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)

Works count: 3

Citation count: 1

H-index: 1

I10-index: