Quest Complete: the Holy Grail of Gradual Security

Tianyu Chen, Jeremy G. Siek

Languages with gradual information-flow control combine static and dynamic techniques to prevent security leaks. Gradual languages should satisfy the gradual guarantee: programs th…