SeLINQ

MaRDI QIDQ40093swMATHFDO

Official website http://www.cse.chalmers.se/~andrei/icfp14.pdf

Described by source

• SeLINQ: tracking information across application-database boundaries

Cited in

(10)

• PLIF
• Flow Caml
• Paragon
• TS#
• Ur/Web
• GWT
• JOANA
• JSLINQ
• Information flow control in software DB units based on formal verification
• Formal methods for web security

This page was built for software: SeLINQ