Fable

swMATH23081MaRDI QIDQ34865FDOQ34865

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=1398040

Cited In (20)

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

This page was built for software: Fable