AZ

Ashley Zupkus

Sort by
Proving the Security of Low-Level Software Components & TEEs
Zero-bug Software, Mathematically Guaranteed
Mathematically Guaranteeing Code Correctness with TrustInSoft
Towards 0-bug software in the automotive industry