Identification of Android Malware Families with Model Checking

Proceedings of the 2nd International Conference on Information Systems Security and Privacy ◽

10.5220/0005809205420547 ◽

2016 ◽

Author(s):

Pasquale Battista ◽

Francesco Mercaldo ◽

Vittoria Nardone ◽

Antonella Santone ◽

Corrado Aaron Visaggio

Keyword(s):

Model Checking ◽

Android Malware

Download Full-text

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-030-68887-5_17 ◽

2021 ◽

pp. 289-307

Author(s):

Souad El Hatib ◽

Loïc Ricaud ◽

Josée Desharnais ◽

Nadia Tawbi

Keyword(s):

Machine Learning ◽

Model Checking ◽

Malware Detection ◽

Android Malware ◽

Android Malware Detection

Download Full-text

Model Checking for Mobile Android Malware Evolution

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.4 ◽

2017 ◽

Author(s):

Aniello Cimitile ◽

Fabio Martinelli ◽

Francesco Mercaldo ◽

Vittoria Nardone ◽

Antonella Santone ◽

...

Keyword(s):

Model Checking ◽

Android Malware ◽

Malware Evolution

Download Full-text

Model-Checking for Android Malware Detection

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12736-1_12 ◽

2014 ◽

pp. 216-235 ◽

Author(s):

Fu Song ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Malware Detection ◽

Android Malware ◽

Android Malware Detection

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Download Full-text

Model Checking Control Software for Nonlinear Dynamic Systems

AIAA Guidance, Navigation and Control Conference and Exhibit ◽

10.2514/6.2008-6800 ◽

2008 ◽

Author(s):

James Kapinski ◽

Alexandre Donze ◽

Flavio Lerda ◽

Hitashyam Maka ◽

Edmund Clarke ◽

...

Keyword(s):

Model Checking ◽

Dynamic Systems ◽

Nonlinear Dynamic ◽

Nonlinear Dynamic Systems ◽

Control Software

Download Full-text

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

i-manager’s Journal on Software Engineering ◽

10.26634/jse.13.3.15687 ◽

2019 ◽

Vol 13 (3) ◽

pp. 1

Author(s):

ALIYU E. O. ◽

ADEWALE O. S. ◽

ADETUNMBI A. O. ◽

OJOKOH B. A. ◽

◽

...

Keyword(s):

Download Full-text

Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study

10.31274/etd-180810-2879 ◽

2009 ◽

Author(s):

Sandeep Krishnan

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text