all InfoSec news
Graded Modal Types for Integrity and Confidentiality. (arXiv:2309.04324v1 [cs.PL])
cs.CR updates on arXiv.org arxiv.org
Graded type systems, such as the one underlying the Granule programming
language, allow various different properties of a program's behaviour to be
tracked via annotating types with additional information, which we call grades.
One example of such a property, often used as a case study in prior work on
graded types, is information flow control, in which types are graded by a
lattice of security levels allowing noninterference properties to be
automatically verified and enforced. These typically focus on one …
call case confidentiality information integrity language modal program programming programming language property study systems types work