3 ms·
This seems like all cloud software? Seriously, what do they think Google and AWS do?
by lettergram 5y ago
This seems like all cloud software? Seriously, what do they think Google and AWS do?
- deleted 5y ago[deleted]
- latch 5y ago> what do they think Google and AWS do Reading the article, it seems they think Google and AWS don't do formal verification of the hypervisor. Since they won a grant from Amazon to do this (1), I'm going to guess that maybe they're right? (1) https://www.amazon.science/research-awards/recipients/ronghui-gu-2020 https://www.amazon.science/research-awards/recipients/ronghu...