scientific article; zbMATH DE number 7649976

DOI10.4230/LIPIcs.ITP.2019.27MaRDI QIDQ5875439

Robert Sison, Toby Murray

Publication date: 3 February 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationconcurrencyinformation flow securitysecure compilation

Mathematics Subject Classification ID

Related Items (2)

Information-flow control on ARM and POWER multicore processors ⋮ Cogent: uniqueness types and certifying compilation

Uses Software

• Archive Formal Proofs

Cites Work

• Security types preserving compilation
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A formally verified compiler back-end
• Dependent Information Flow Types
• CakeML

This page was built for publication: