Towards a Formally Verified Security Monitor for VM-based Confidential Computing
Ozga, Wojciech, Hunt, Guerney D H, Le, Michael V, Palmer, Elaine R, Shinnar, Avraham
Published in arXiv.org (01.10.2023)
Published in arXiv.org (01.10.2023)
Get full text
Paper
Journal Article
Authorized secure data movement
Best, John Stewart, Hunt, Guerney D. H, Hetzler, Steven Robert, Hineman, Wayne C
Year of Publication 21.05.2024
Get full text
Year of Publication 21.05.2024
Patent
AUTHORIZED SECURE DATA MOVEMENT
BEST, John Stewart, HUNT, Guerney D. H, HETZLER, Steven Robert, HINEMAN, Wayne C
Year of Publication 23.02.2023
Get full text
Year of Publication 23.02.2023
Patent
AUTHORIZED SECURE DATA MOVEMENT
Best, John Stewart, Hunt, Guerney D. H, Hetzler, Steven Robert, Hineman, Wayne C
Year of Publication 23.02.2023
Get full text
Year of Publication 23.02.2023
Patent
Security for address translation services
Hunt, Guerney D. H, Jutla, Charanjit Singh, Johns, Charles R, Auernhammer, Florian
Year of Publication 17.01.2023
Get full text
Year of Publication 17.01.2023
Patent
Provisioning secure/encrypted virtual machines in a cloud infrastructure
Guerney D. H. Hunt, Ramachandra Pai, Elaine R. Palmer, Dimitrios Pendarakis, Kenneth Alan Goldman
Year of Publication 21.09.2022
Get full text
Year of Publication 21.09.2022
Patent
SECURE MEMORY SHARING
Hunt, Guerney D. H, Hetzler, Steven Robert, Kahle, James A, Johns, Charles R
Year of Publication 30.06.2022
Get full text
Year of Publication 30.06.2022
Patent
PROVISIONING SECURE/ENCRYPTED VIRTUAL MACHINES IN A CLOUD INFRASTRUCTURE
Goldman, Kenneth Alan, Hunt, Guerney D. H, Pendarakis, Dimitrios, Palmer, Elaine R, Pai, Ramachandra
Year of Publication 23.06.2022
Get full text
Year of Publication 23.06.2022
Patent