Rigorous security guarantees for run-time integrity

Project Details

Short titleLachlan Gunn
StatusActive
Effective start/end date01/09/202131/08/2024