Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Merlin: Specification Inference for Explicit Information Flow Problems

Anindya Banerjee, Benjamin Livshits, Aditya V. Nori, and Sriram K. Rajamani

Details

Publication typeTechReport
> Publications > Merlin: Specification Inference for Explicit Information Flow Problems