Es el primer sistema que garantiza, mediante una prueba matemática, la seguridad de las máquinas virtuales en la nube.