https://yfalcone.github.io/projects/midroid/

1<!DOCTYPE html> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <title> MiDroid | Yliès Falcone, Ph.D. </title> <meta name="author" content="Ylies Falcone"> <meta name="description" content="Leveraging Monitoring on Android"> <meta name="keywords" content="software engineering, formal methods, monitoring, blockchain"> <link rel="stylesheet" href="/assets/css/bootstrap.min.css?59683d8d628e6717785b508ec539c429"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/css/mdb.min.css" integrity="sha256-jpjYvU3G3N6nrrBwXJoVEYI/0zw8htfFnhT9ljN3JJw=" crossorigin="anonymous"> <link defer rel="stylesheet" href="/assets/css/academicons.min.css?9dbe0c76bacd463500b79ed6a86e27ac"> <link defer rel="stylesheet" href="/assets/css/scholar-icons.css?62b2ac103a88034e6882a5be5f3e2772"> <link defer rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Roboto:300,400,500,700|Roboto+Slab:100,300,400,500,700|Material+Icons&amp;display=swap"> <link defer rel="stylesheet" href="/assets/css/jekyll-pygments-themes-github.css?591dab5a4e56573bf4ef7fd332894c99" media="" id="highlight_theme_light"> <link rel="shortcut icon" href="/assets/img/icon.png?62ccf7ff4facefd602e5f85ab5c36665"> <link rel="stylesheet" href="/assets/css/main.css?d41d8cd98f00b204e9800998ecf8427e"> <link rel="canonical" href="https://yfalcone.github.io/projects/midroid/"> 

1<script src="/assets/js/theme.js?9a0c749ec5240d9cda97bc72359a72c0"></script>

1 <link defer rel="stylesheet" href="/assets/css/jekyll-pygments-themes-native.css?5847e5ed4a4568527aa6cfab446049ca" media="none" id="highlight_theme_dark"> 

1<script>
2    initTheme();
3  </script>

3 </head> <body class="fixed-top-nav "> <header> <nav id="navbar" class="navbar navbar-light navbar-expand-sm fixed-top" role="navigation"> <div class="container"> <a class="navbar-brand title font-weight-lighter" href="/"> Yliès Falcone, Ph.D. </a> <button class="navbar-toggler collapsed ml-auto" type="button" data-toggle="collapse" data-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar top-bar"></span> <span class="icon-bar middle-bar"></span> <span class="icon-bar bottom-bar"></span> </button> <div class="collapse navbar-collapse text-right" id="navbarNav"> <ul class="navbar-nav ml-auto flex-nowrap"> <li class="nav-item "> <a class="nav-link" href="/">About </a> </li> <li class="nav-item active"> <a class="nav-link" href="/projects/">Projects <span class="sr-only">(current)</span> </a> </li> <li class="nav-item "> <a class="nav-link" href="/publications/">Publications </a> </li> <li class="nav-item "> <a class="nav-link" href="/teaching/">Teaching </a> </li> <li class="nav-item"> <button id="search-toggle" title="Search" onclick="openSearchModal()"> <span class="nav-link">ctrl k <i class="ti ti-search"></i></span> </button> </li> <li class="toggle-container"> <button id="light-toggle" title="Change theme"> <i class="ti ti-sun-moon" id="light-toggle-system"></i> <i class="ti ti-moon-filled" id="light-toggle-dark"></i> <i class="ti ti-sun-filled" id="light-toggle-light"></i> </button> </li> </ul> </div> </div> </nav> <progress id="progress" value="0"> <div class="progress-container"> <span class="progress-bar"></span> </div> </progress> </header> <div class="container mt-5" role="main"> <div class="post"> <header class="post-header"> <h1 class="post-title">MiDroid</h1> <p class="post-description">Leveraging Monitoring on Android</p> </header> <article> <p>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.</p> <p>MiDroid was the foundational technology of an entreprenarial activity supported by Univ. Grenoble Alpes and Institut Carnot.</p> <p>MiDroid was also the underlying technology demonstrated in research publications: <a class="citation" href="#conf/rv/FalconeCJ12">(Falcone et al., 2012)</a>, <a class="citation" href="#conf/kbse/FalconeC12">(Falcone &amp; Currea, 2012)</a>, <a class="citation" href="#conf/isola/El-HarakeFJLM14">(El-Harake et al., 2014)</a>, <a class="citation" href="#conf/rv/DaianFMSSIR15">(Daian et al., 2015)</a>, <a class="citation" href="#journals/sttt/JaberFDAE18">(Jaber et al., 2018)</a>.</p> <p>Below are some screen captures of the UI back then:</p> <p></p> <div style="display: flex; justify-content: center; gap: 20px; margin-top: 50px;"> <img src="../assets/img/midroid1.png" alt="MiDroid screen capture 1" title="MiDroid screen capture 1" style="width: 250px; display: block; border: 1px solid #ccc; border-radius: 4px;"> <img src="../assets/img/midroid1.png" alt="MiDroid screen capture 1" title="MiDroid screen capture 2" style="width: 230px; display: block; border: 1px solid #ccc; border-radius: 4px;"> </div> </article> <h2>References</h2> <div class="publications"> <h2 class="bibliography">2018</h2> <ol class="bibliography"><li> <div class="row"> <div class="col col-sm-2 abbr"> </div> <div id="journals/sttt/JaberFDAE18" class="col-sm-8"> <div class="title">A high-level modeling language for the efficient design, implementation, and testing of Android applications</div> <div class="author"> Mohamad Jaber, <em>Yliès Falcone</em>, Kinan Dak-Al-Bab, John Abou-Jaoudeh, and Mostafa El-Katerji </div> <div class="periodical"> <em>Int. J. Softw. Tools Technol. Transf.</em>, 2018 </div> <div class="periodical"> </div> <div class="links"> <a href="https://doi.org/10.1007/S10009-016-0441-2" class="btn btn-sm z-depth-0" role="button" rel="external nofollow noopener" target="_blank">DOI</a> </div> </div> </div> </li></ol> <h2 class="bibliography">2015</h2> <ol class="bibliography"><li> <div class="row"> <div class="col col-sm-2 abbr"> </div> <div id="conf/rv/DaianFMSSIR15" class="col-sm-8"> <div class="title">RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial</div> <div class="author"> Philip Daian, <em>Yliès Falcone</em>, Patrick O’Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, and Grigore Rosu </div> <div class="periodical"> <em>In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings</em>, 2015 </div> <div class="periodical"> </div> <div class="links"> <a href="https://doi.org/10.1007/978-3-319-23820-3_24" class="btn btn-sm z-depth-0" role="button" rel="external nofollow noopener" target="_blank">DOI</a> </div> </div> </div> </li></ol> <h2 class="bibliography">2014</h2> <ol class="bibliography"><li> <div class="row"> <div class="col col-sm-2 abbr"> </div> <div id="conf/isola/El-HarakeFJLM14" class="col-sm-8"> <div class="title">Blocking Advertisements on Android Devices Using Monitoring Techniques</div> <div class="author"> Khalil El-Harake, <em>Yliès Falcone</em>, Wassim Jerad, Matthieu Langet, and Mariem Mamlouk </div> <div class="periodical"> <em>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</em>, 2014 </div> <div class="periodical"> </div> <div class="links"> <a href="https://doi.org/10.1007/978-3-662-45231-8_17" class="btn btn-sm z-depth-0" role="button" rel="external nofollow noopener" target="_blank">DOI</a> </div> </div> </div> </li></ol> <h2 class="bibliography">2012</h2> <ol class="bibliography"> <li> <div class="row"> <div class="col col-sm-2 abbr"> </div> <div id="conf/rv/FalconeCJ12" class="col-sm-8"> <div class="title">Runtime Verification and Enforcement for Android Applications with RV-Droid</div> <div class="author"> <em>Yliès Falcone</em>, Sebastian Currea, and Mohamad Jaber </div> <div class="periodical"> <em>In Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Pa

3pers</em>, 2012 </div> <div class="periodical"> </div> <div class="links"> <a href="https://doi.org/10.1007/978-3-642-35632-2_11" class="btn btn-sm z-depth-0" role="button" rel="external nofollow noopener" target="_blank">DOI</a> </div> </div> </div> </li> <li> <div class="row"> <div class="col col-sm-2 abbr"> </div> <div id="conf/kbse/FalconeC12" class="col-sm-8"> <div class="title">Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud</div> <div class="author"> <em>Yliès Falcone</em>, and Sebastian Currea </div> <div class="periodical"> <em>In IEEE/ACM International Conference on Automated Software Engineering, ASE’12, Essen, Germany, September 3-7, 2012</em>, 2012 </div> <div class="periodical"> </div> <div class="links"> <a href="https://doi.org/10.1145/2351676.2351744" class="btn btn-sm z-depth-0" role="button" rel="external nofollow noopener" target="_blank">DOI</a> </div> </div> </div> </li> </ol> </div> </div> </div> <footer class="fixed-bottom" role="contentinfo"> <div class="container mt-0"> © Copyright 2025 Ylies Falcone. Powered by <a href="https://jekyllrb.com/" target="_blank" rel="external nofollow noopener">Jekyll</a> with <a href="https://github.com/alshedivat/al-folio" rel="external nofollow noopener" target="_blank">al-folio</a> theme. Last updated: February 17, 2025. </div> </footer> 

3<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/jquery.min.js" integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script>

3 

3<script src="/assets/js/bootstrap.bundle.min.js"></script>

3 

3<script src="https://cdn.jsdelivr.net/npm/[email protected]/js/mdb.min.js" integrity="sha256-NdbiivsvWt7VYCt6hYNT3h/th9vSTL4EDWeGs5SN3DA=" crossorigin="anonymous"></script>

3 

3<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/masonry.pkgd.min.js" integrity="sha256-Nn1q/fx0H7SNLZMQ5Hw5JLaTRZp0yILA/FRexe19VdI=" crossorigin="anonymous"></script>

3 

3<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/imagesloaded.pkgd.min.js" integrity="sha256-htrLFfZJ6v5udOG+3kNLINIKh2gvoKqwEhHYfTTMICc=" crossorigin="anonymous"></script>

3 

3<script defer src="/assets/js/masonry.js?a0db7e5d5c70cc3252b3138b0c91dcaf" type="text/javascript"></script>

3 

3<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/medium-zoom.min.js" integrity="sha256-ZgMyDAIYDYGxbcpJcfUnYwNevG/xi9OHKaR/8GK+jWc=" crossorigin="anonymous"></script>

3 

3<script defer src="/assets/js/zoom.js?85ddb88934d28b74e78031fd54cf8308"></script>

3 

3<script src="/assets/js/no_defer.js?2781658a0a2b13ed609542042a859126"></script>

3 

3<script defer src="/assets/js/common.js?e0514a05c5c95ac1a93a8dfd5249b92e"></script>

3 

3<script defer src="/assets/js/copy_code.js?12775fdf7f95e901d7119054556e495f" type="text/javascript"></script>

3 

3<script defer src="/assets/js/jupyter_new_tab.js?d9f17b6adc2311cbabd747f4538bb15f"></script>

3 

3<script async src="https://d1bxh8uas1mnw7.cloudfront.net/assets/embed.js"></script>

3 

3<script async src="https://badge.dimensions.ai/badge.js"></script>

3 

3<script defer type="text/javascript" id="MathJax-script" src="https://cdn.jsdelivr.net/npm/[email protected]/es5/tex-mml-chtml.js" integrity="sha256-MASABpB4tYktI2Oitl4t+78w/lyA+D7b/s9GEP0JOGI=" crossorigin="anonymous"></script>

3 

3<script src="/assets/js/mathjax-setup.js?a5bb4e6a542c546dd929b24b8b236dfd"></script>

3 

3<script defer src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6" crossorigin="anonymous"></script>

3 

3<script defer src="/assets/js/progress-bar.js?2f30e0e6801ea8f5036fa66e1ab0a71a" type="text/javascript"></script>

3 

3<script src="/assets/js/vanilla-back-to-top.min.js?e608dd299131d590d2d72f939ef62f8b"></script>

3 

3<script>
4    addBackToTop();
5  </script>

5 

5<script type="module" src="/assets/js/search/ninja-keys.min.js?93f9655b46c401880bdc45f3fcc64817"></script>

5 <ninja-keys hidebreadcrumbs noautoloadmdicons placeholder="Type to start searching"></ninja-keys> 

5<script src="/assets/js/search-setup.js?6c304f7b1992d4b60f7a07956e52f04a"></script>

5 

5<script src="/assets/js/search-data.js"></script>

5 

5<script src="/assets/js/shortcut-key.js?6f508d74becd347268a7f822bca7309d"></script>

5 </body> </html>