Michal Kucab

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Formal Semantics

Virtual Machine

Remote Attestation

Top Venues

IEEE Trans. Cloud Comput.

Publications

Michal Kucab, Piotr Borylo, Piotr Cholda
Hardware-Assisted Static and Runtime Attestation for Cloud Deployments. IEEE Trans. Cloud Comput. 11 (4) (2023)
Michal Kucab, Piotr Borylo, Piotr Cholda
Performance Impact of Control Flow Enforcement Technology (CET). ICIN (2022)
Michal Kucab, Piotr Borylo, Piotr Cholda
Remote attestation and integrity measurements with Intel SGX for virtual machines. Comput. Secur. 106 (2021)