Mounir Assaf

Identifiers

No identifiers captured yet.

Papers (2)

1. Hypercollecting Semantics and its Application to Static Analysis of Information Flow cs.PL · 2016 · author #1
2. Calculational Design of Information Flow Monitors (extended version) cs.CR · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• David A. Naumann 2 shared papers
• \'Eric Totel 1 shared papers
• Fr\'ed\'eric Tronel 1 shared papers
• Julien Signoles 1 shared papers