Normalising Lustre preserves security

DOI10.1007/978-3-030-85315-0_16OpenAlexW3197552141MaRDI QIDQ2119981

R. Madhukar Yerraguntla, Sanjiva Prasad

Publication date: 31 March 2022

Full work available at URL: https://arxiv.org/abs/2105.10687

zbMATH Keywords

non-interferencesecurity type system\textsc{Lustre}compiler transformationsecurity preservationsynchronous reactive data flow

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Coq
• LUSTRE
• Kind 2
• GitHub
• Lurette
• velus

Cites Work

• Equational rules for rewriting logic
• A lattice model of secure information flow
• Unnamed Item

This page was built for publication: Normalising Lustre preserves security