Mohamed Nassim Seghir

18 papers A 1B 5C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Sub-Turing Islands in the Wild.
CoRR
Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir
2018 J jnl
Certificate Enhanced Data-Flow Analysis.
CoRR
Mohamed Nassim Seghir
2018 J jnl
DCert: Find the Leak in Your Pocket.
CoRR
Mohamed Nassim Seghir
2018 J jnl
Data-Flow Guided Slicing.
CoRR
Mohamed Nassim Seghir
2016 — conf
Certified Lightweight Contextual Policies for Android.
SecDev
Mohamed Nassim Seghir, David Aspinall, Lenka Mareková
2016 J jnl
DroidGen: Constraint-based and Data-Driven Policy Generation for Android.
CoRR
Mohamed Nassim Seghir, David Aspinall
2016 — ed.
Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, IMPS 2016, co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016), London, UK, April 6, 2016.
IMPS@ESSoS
David Aspinall, Lorenzo Cavallaro, Mohamed Nassim Seghir, Melanie Volkamer
2015 B conf
EviCheck: Digital Evidence for Android.
ATVA
Mohamed Nassim Seghir, David Aspinall
2014 B conf
Necessary and Sufficient Preconditions via Eager Abstraction.
APLAS
Mohamed Nassim Seghir, Peter Schrammel
2013 — conf
A visual studio plug-in for CProver.
TOPI@ICSE
Mohamed Nassim Seghir, Daniel Kroening
2013 A conf
Counterexample-Guided Precondition Inference.
ESOP
Mohamed Nassim Seghir, Daniel Kroening
2012 C conf
Simplifying the Verification of Quantified Array Assertions via Code Transformation.
LOPSTR
Mohamed Nassim Seghir, Martin Brain
2011 B conf
A Lightweight Approach for Loop Summarization.
ATVA
Mohamed Nassim Seghir
2010 — —
Abstraction refinement techniques for software model checking.
Mohamed Nassim Seghir
2010 — conf
An Assume Guarantee Approach for Checking Quantified Array Assertions.
AMAST
Mohamed Nassim Seghir
2009 B conf
Abstraction Refinement for Quantified Array Assertions.
SAS
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
2007 — conf
ACSAR: Software Model Checking with Transfinite Refinement.
SPIN
Mohamed Nassim Seghir, Andreas Podelski
2005 B conf
Integration of a Software Model Checker into Isabelle.
LPAR
Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir