Brian Campbell - ISMM 2020

Write a Blog >>

Tue 16 Jun 2020

co-located with PLDI 2020

Registered user since Mon 5 Nov 2018

Name:Brian Campbell

Affiliation:University of Edinburgh

Contributions

2020

DeepSpec

Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V

Show activities from other conferences

PLDI 2020-profile
View general profile