SeLINQ

DOI10.1145/2628136.2628151zbMath1346.68065OpenAlexW2005421574MaRDI QIDQ2819661

Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld

Publication date: 29 September 2016

Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2628136.2628151

zbMATH Keywords

static analysisinformation flowend-to-end securitylanguage-integrated queries

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Information flow control in software DB units based on formal verification ⋮ Formal methods for web security ⋮ SeLINQ

Uses Software

• Flow Caml
• MS SQL Server
• PostgreSQL
• MySQL
• Ruby
• Jif
• GWT
• Fable