METHOD, SYSTEM AND COMPUTER PROGRAM FOR GENERATING COMPUTATION SO AS TO BE EXECUTED IN TARGET TRUSTED EXECUTION ENVIRONMENT (TEE) (PROVISIONING SECURE/ENCRYPTED VIRTUAL MACHINES IN CLOUD INFRASTRUCTURE)
GUERNEY D H HUNT, ELAINE R PALMER, KENNETH ALAN GOLDMAN, RAMACHANDRA PAI, DIMITRIOS PENDARAKIS
Year of Publication 04.07.2022
Get full text
Year of Publication 04.07.2022
Patent
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