Mohamed Nassim Seghir

Learn More
We present an abstraction refinement technique for the verification of universally quantified array assertions such as " all elements in the array are sorted ". Our technique can be seamlessly combined with existing software model checking algorithms. We implemented our technique in the ACSAR software model checker and successfully verified quantified array(More)
We present DroidGen a tool for automatic anti-malware policy inference. DroidGen is data-driven: uses a training set of malware and benign applications and makes call to a constraint solver to generate a policy under which a maximum of malware is excluded and a maximum of benign applications is allowed. Preliminary results are encouraging. We are able to(More)