💾 Archived View for dcreager.net › 2023 › 04 › 12-reading-log.gmi captured on 2024-08-25 at 00:22:18. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
2023-04-12
Found [Zdancewic2002], which uses ordered linear continuations to encode properties about secure information flow.
[Zdancewic2002] Secure information flow via linear continuations