Merlin: Specification Inference for Explicit Information Flow Problems

paper.pdf
PDF file

Details

TypeTechReport
> Publications > Merlin: Specification Inference for Explicit Information Flow Problems