¶Reading log
2023-04-12
Found [Zdancewic2002], which uses ordered linear continuations to encode properties about secure information flow.
[Zdancewic2002] Secure information flow via linear continuations
This page is also available via Gemini at gemini://dcreager.net/2023/04/12-reading-log.gmi