Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
Date
Featured collections
Popular topics
192 results for Hybrid Cloud Infrastructure
From Confidential Computing to Zero Trust, Come Along for the (Bumpy?) Ride
- Mengmei Ye
- Sandhya Koteshwara
- et al.
- 2024
- MICRO 2024
Artifical Intelligence Governed Processor
- Alper Buyuktosunoglu
- David Trilla Rodriguez
- 2024
- ISCA 2024
Cloud bursting an EDA workload with ML-driven technique for future SoC development
- Wachirawit Ponghiran
- Jinwook Jung
- 2024
- VLSI Technology and Circuits 2024
Fully Homomorphic Encryption for Computer Architects: A Fundamental Characterization Study
- 2023
- MICRO 2023
Modeling and Estimation of LPAR Energy Consumption for IBM POWER9 Systems
- Niteesh Dubey
- Joefon Jann
- et al.
- 2023
- MASCOTS 2023
To virtualize or not to virtualize AI Infrastructure: A perspective
- Seetharami Seelam
- Apoorve Mohan
- et al.
- 2023
- ISCA 2023
High-NA EUV Exposure Tool Implications to Chip and Mask Layouts
- Daniel Schmidt
- 2023
- VLSI Technology 2023
Workshop on Data Integrity and Secure Cloud Computing (DISCC)
- Pradip Bose
- Augusto Vega
- et al.
- 2025
- HPCA 2025
CogArch 2024: 8th Workshop on Cognitive Architectures
- 2024
- ISCA 2024