Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ben Hardekopf
Timing- And Termination-Sensitive Secure Information Flow: Exploring a New Approach
Semi-Sparse Flow-Sensitive Pointer Analysis
ACM SIGPLAN Notices
Computer Science