6 citations · 20 across the 17 of their papers we have counts for
1 paper · 1 filter
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…