9 citations · 9 across the 1 of their papers we have counts for
1 paper
Naokata Shikuma, Atsushi Igarashi
Tse and Zdancewic have formalized the notion of noninterference for Abadi et al.'s DCC in terms of logical relations and given a proof of noninterference by reduction to parametric…