638 followers
@benhawkes Btw this is already being used in a industrial sized setting at Amazon AWS https://t.co/HWAW3z512I
@benhawkes Btw this is already being used in a industrial sized setting at Amazon AWS https://t.co/HWAW3z512I
@jacquesgt @radian "Model Checking Boot Code from AWS Data Centers" https://t.co/HWAW3z512I
Open Access UCL Research: Model checking boot code from AWS data centers https://t.co/MiT3Px0HEA
RT @diffbluehq: We often get asked about our research. Check out this collaboration between @diffbluehq and @AWS "Model Checking Boot Code…