Fable
From MaRDI portal
Cited in
(20)- Program synthesis for interactive-security systems
- Flow Caml
- Noninterference in a predicative polymorphic calculus for access control
- AURA
- AMNESIA
- SeLINQ: tracking information across application-database boundaries
- Jif
- Type-based access control in data-centric systems
- GWT
- Privtrans
- Merlin
- Laminar
- VC3
- EROS
- Moat
- Pixy
- F*
- SeLINQ
- A survey on server-side approaches to securing web applications
- Secure distributed programming with value-dependent types
This page was built for software: Fable
