Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alejandro Russo
Functional Pearl: Two Can Keep a Secret, if One of Them Uses Haskell
ACM SIGPLAN Notices
Computer Science
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science