Search papers, labs, and topics across Lattice.
Pennsylvania State University, USA
1
3
2
Higher-order programs can now enjoy compositional security guarantees for fine-grained declassification, thanks to a novel logical relations model.
