A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Topic: Security and Verification in Computing ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “hypervisor” in Security and Verification in Computing 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Realisierung der NAMUR-Diode mittels Virtualisierung
2020 atp magazin article Computer Science Security and Verification in Computing

Mahyar Azarmipour, Christian von Trotha, Ulrich Epple, Caspar Gries

1

citations
A Syscall-Level Binary-Compatible Unikernel
2021 IEEE Transactions on Computers article Computer Science Security and Verification in Computing

Pierre Olivier, Hugo Lefeuvre, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran

7

citations
Combining Confidential Computing and Unikernels for Lightweight Confidential Computing
2025 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Security and Verification in Computing Open access

0

citations
Combining Confidential Computing and Unikernels for Lightweight Confidential Computing
2025 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Security and Verification in Computing Open access

0

citations

4 results