
Registered user since Mon 30 Jan 2017
Name:Lau Skorstengaard
Contributions
PriSC 2018 | Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile