Proving the Security of Low-Level Software Components & TEEs

Hace 2 años 418 Visualizaciones

Zero-bug Software, Mathematically Guaranteed

Hace 2 años 30 Visualizaciones

Mathematically Guaranteeing Code Correctness with TrustInSoft

Hace 2 años 129 Visualizaciones

Towards 0-bug software in the automotive industry

Hace 3 años 105 Visualizaciones