Flexible manipulation of labeled values for information-flow control libraries

DOI10.1007/978-3-319-45744-4_27zbMath1499.68060MaRDI QIDQ2165484

Pablo Buiras, Marco Vassena, Lucas Waye, Alejandro Russo

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-45744-4_27

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q65: Abstract data types; algebraic specification

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68M25: Computer security