Proving the Security of Low-Level Software Components & TEEs

Vor 2 Jahren 418 Aufrufe

Zero-bug Software, Mathematically Guaranteed

Vor 2 Jahren 30 Aufrufe

Towards 0-bug software in the automotive industry

Vor 3 Jahren 106 Aufrufe