A Haskell-embedded DSL for secure information-flow

This paper presents a domain-specific language, embedded in Haskell (EDSL), for enforcing the information flow property Delimited Release. To build this language we use Haskell extensions that will allow some kind of dependently-typed programming. Considering the effort it takes to build a language...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 247; S. 103351
Hauptverfasser:	Manzino, Cecilia, de Latorre, Gonzalo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.01.2026
Schlagworte:	Declassification Dependently-typed programming Haskell Information flow type systems Haskell Dependently-typed programming Information flow type systems Declassification
ISSN:	0167-6423
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!