Lau Skorstengaard
Publications by Year
Research Areas
Security and Verification in Computing, Distributed systems and fault tolerance, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Logic, programming, and type systems
Most-Cited Works
- → StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities(2019)43 cited
- → Reasoning About a Machine with Local Capabilities(2018)22 cited
- → StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities(2021)4 cited
- → StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details(2018)2 cited
- → Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details(2019)1 cited
- Formal Reasoning about Capability Machines(2019)
- → An Introduction to Logical Relations(2019)