MiDroid

Leveraging Monitoring on Android

MiDroid encompasses applications for 1) improving the security of Android applications 2) allowing users to gain control back of their Android devices (when fine-grained permissions did not exist). MiDroid uses aspect-oriented programming to modify and monitor the behavior of a given applications without knowing its source code.

MiDroid was the foundational technology of an entreprenarial activity supported by Univ. Grenoble Alpes and Institut Carnot.

MiDroid was also the underlying technology demonstrated in research publications: (Falcone et al., 2012), (Falcone & Currea, 2012), (El-Harake et al., 2014), (Daian et al., 2015), (Jaber et al., 2018).

Below are some screen captures of the UI back then:

MiDroid screen capture 1 MiDroid screen capture 1

References

2018

  1. A high-level modeling language for the efficient design, implementation, and testing of Android applications
    Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, and Mostafa El-Katerji
    Int. J. Softw. Tools Technol. Transf., 2018
    DOI

2015

  1. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
    Philip Daian, Yliès Falcone, Patrick O’Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, and Grigore Rosu
    In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, 2015
    DOI

2014

  1. Blocking Advertisements on Android Devices Using Monitoring Techniques
    Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, and Mariem Mamlouk
    In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, 2014
    DOI

2012

  1. Runtime Verification and Enforcement for Android Applications with RV-Droid
    Yliès Falcone, Sebastian Currea, and Mohamad Jaber
    In Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, 2012
    DOI
  2. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
    Yliès Falcone, and Sebastian Currea
    In IEEE/ACM International Conference on Automated Software Engineering, ASE’12, Essen, Germany, September 3-7, 2012, 2012
    DOI