Period | 6 Sep 2021 |
---|---|
Event title | SILM 2021 Workshop: Security of Software / Hardware Interfaces |
Event type | Workshop |
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Activity: Talk or presentation › Talk or presentation at a workshop/seminar