Search Results - "Dragone, Silvio"

Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution Environments by Ozga, Wojciech, Sagmeister, Patricia, Visegrady, Tamas, Dragone, Silvio

“…Existing attestation mechanisms lack scalability and support for heterogeneous virtual execution environments (VEEs), such as virtual machines and containers…”
Get full text

Scalable Attestation of Virtualized Execution Environments in Hybrid- and Multi-Cloud by Ozga, Wojciech, Sagmeister, Patricia, Visegrády, Tamás, Dragone, Silvio

“…Existing attestation mechanisms lack scalability and support for heterogeneous virtual execution environments (VEEs), such as virtual machines and containers…”
Get full text

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing by Ozga, Wojciech, Faqeh, Rasha, Quoc, Do Le, Gregor, Franz, Dragone, Silvio, Fetzer, Christof

“…Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 High-assurance security systems require strong isolation from the untrusted world…”
Get full text

The ordering of events in a prototyping platform by Dragone, S., Lombriser, C.

“…The performance of software-based verification strategies is not keeping up with the increasing complexity of modern system-on-chip (SoC) designs. Therefore…”
Get full text