Pages that link to "Item:Q5408414"
From MaRDI portal
The following pages link to A verified information-flow architecture (Q5408414):
Displaying 6 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248) (← links)
- Linear capabilities for fully abstract compilation of separation-logic-verified code (Q5016209) (← links)
- StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212) (← links)
- Securing a compiler transformation (Q5916265) (← links)
