4 papers
ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps
Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi
In this paper, we present a concolic execution technique for detecting SQL injection vulnerabilities in Android apps, with a new tool we called ConsiDroid. We extend the source cod…
An Efficient Loop-free Version of AODVv2
Behnaz Yousefi, Fatemeh Ghassemi
Ad hoc On Demand distance Vector (AODV) routing protocol is one of the most prominent routing protocol used in Mobile Ad-hoc Networks (MANETs). Due to the mobility of nodes, there…
Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its sa…
Reliable Restricted Process Theory
Fatemeh Ghassemi, Wan Fokkink
Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by…