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 “unikernels” in Security and Verification in Computing 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Intra-unikernel isolation with Intel memory protection keys
2020 conference-paper Computer Science Security and Verification in Computing

Mincheol Sung, Pierre Olivier, Stefan Lankes, Binoy Ravindran

56

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
From Browser to Kernel: Exploring a Lightweight Sandboxed Approach for Unikernel Extensions
2025 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Security and Verification in Computing Open access

Stefan Lankes, Jonathan Klimt, Antonello Monti

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
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

5 results