Mohamed Nassim Seghir

Identifiers

No identifiers captured yet.

Papers (5)

1. Sub-Turing Islands in the Wild cs.PL · 2019 · author #4
2. DCert: Find the Leak in Your Pocket cs.SE · 2018 · author #1
3. Certificate Enhanced Data-Flow Analysis cs.PL · 2018 · author #1
4. Data-Flow Guided Slicing cs.PL · 2018 · author #1
5. DroidGen: Constraint-based and Data-Driven Policy Generation for Android cs.CR · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• David Aspinall 1 shared papers
• David W. Binkley 1 shared papers
• Earl T. Barr 1 shared papers
• Mark Harman 1 shared papers