Liquid information flow control

We present Lifty, a domain-specific language for data-centric applications that manipulate sensitive data. A Lifty programmer annotates the sources of sensitive data with declarative security policies, and the language statically and automatically verifies that the application handles the data accor...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2020-08, Vol.4 (ICFP), p.1-30
Hauptverfasser:	Polikarpova, Nadia, Stefan, Deian, Yang, Jean, Itzhaky, Shachar, Hance, Travis, Solar-Lezama, Armando
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!