Aina Linn Georges - POPL 2021

Sun 17 - Fri 22 January 2021 Online

Registered user since Sun 8 Nov 2020

Name: Aina Linn Georges

Affiliation: Aarhus University

Contributions

PriSC 2021	Author of Toward Complete Stack Safety for Capability Machines within the PriSC 2021-track
POPL 2021	Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the Research Papers-track
Show activities from other conferences

Using general profile