Nitro Isolation Engine
가상 머신 간의 메모리, CPU, I/O 접근을 수학적으로 검증하여 격리하는 보안 기술. 하드웨어와 소프트웨어의 동작을 수학적으로 증명하여 클라우드 보안을 강화한다.