💾 Archived View for dcreager.net › 2023 › 04 › 12-reading-log.gmi captured on 2024-06-16 at 12:25:13. 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