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