Michael Roe - ISMM 2020

Write a Blog >>

Tue 16 Jun 2020

co-located with PLDI 2020

Not registered as user yet

Name:Michael Roe

Country:United Kingdom

Affiliation:University of Cambridge

Contributions

2020

DeepSpec

Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}

Show activities from other conferences

PLDI 2020-profile
View general profile