RPTU-EIS / upec-boom-verification-suite

This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.
15Updated last year

Related projects

Alternatives and complementary repositories for upec-boom-verification-suite