Ransomware Steals Your Phone. Formal Methods Rescue It

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Formal Techniques for (Networked and) Distributed Systems

• Publication date

  2016-06-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-39570-8_14
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Download Malware? No, Thanks. How Formal Methods Can Block Update Attacks

  2016cited by this paper
• Identification of Android Malware Families with Model Checking

  2016cited by this paper
• Obfuscation Techniques against Signature-Based Detection: A Case Study

  2015cited by this paper
• Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

  2015cited by this paper
• Automated Detection and Analysis for Android Ransomware

  2015cited by this paper
• HelDroid: Dissecting and Detecting Mobile Ransomware

  2015cited by this paper
• Heuristic search for equivalence checking

  2014cited by this paper
• Model-Checking for Android Malware Detection

  2014cited by this paper
• DREBIN: Effective and Explainable Detection of Android Malware in Your Pocket

  2014cited by this paper
• Drebin : � Efficient and Explainable Detection of Android Malware in Your Pocket

  2014cited by this paper
• PoMMaDe: pushdown model-checking for malware detection

  2013cited by this paper
• Mobile-sandbox: having a deeper look into android applications

  2013cited by this paper
• Ant Colony Optimization for Deadlock Detection in Concurrent Systems

  2011cited by this paper
• Formalization of Viruses and Malware Through Process Algebras

  2010cited by this paper
• Detecting Malicious Code by Model Checking

  2005cited by this paper
• Efficient Verification of a Multicast Protocol for Mobile Computing

  2001cited by this paper
• LORETO: a tool for reducing state explosion in verification of LOTOS programs

  1999cited by this paper
• State Space Reduction by Non-Standard Semantics for Deadlock Analysis

  1998cited by this paper
• The NCSU Concurrency Workbench

  1996cited by this paper
• An Introduction to Modal and Temporal Logics for CCS

  1991cited by this paper
• Communication and concurrency

  1989cited by this paper

• Comprehensive system to detect and prevent ransomware attacks for Android based devices

  2025cites this paper
• How to Circumvent and Beat the Ransomware in Android Operating System—A Case Study of Locker.CB!tr

  2024cites this paper
• A comprehensive survey on deep learning based malware detection techniques

  2023cites this paper
• Ransomware Attack Detection based on Pertinent System Calls Using Machine Learning Techniques

  2023cites this paper
• Analyzing WhisperGate and BlackCat Malware: Methodology and Threat Perspective

  2023cites this paper
• Collusion Detection using Predictive Functions based on Android Applications

  2023cites this paper
• Transfer Learning for Image-Based Malware Detection for IoT

  2023cites this paper
• Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model

  2023cites this paper
• Deep Learning Based Hybrid Analysis of Malware Detection and Classification: A Recent Review

  2023cites this paper
• Multi-Modal Side Channel Data Driven Golden-Free Detection of Software and Firmware Trojans

  2023cites this paper
• Zero-day Ransomware Attack Detection using Deep Contractive Autoencoder and Voting based Ensemble Classifier

  2022cites this paper
• An exploratory analysis of the cybersecurity threat landscape for Botswana

  2022cites this paper
• A Weighted Minimum Redundancy Maximum Relevance Technique for Ransomware Early Detection in Industrial IoT

  2022cites this paper
• On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection

  2022cites this paper
• The Rise of Ransomware: A Review of Attacks, Detection Techniques, and Future Challenges

  2022cites this paper
• A review on spreading and Forensics Analysis of Windows-Based ransomware

  2022cites this paper
• Mitigating adversarial evasion attacks of ransomware using ensemble learning

  2022cites this paper
• On the Influence of Image Settings in Deep Learning-based Malware Detection

  2022cites this paper
• RansomCare: Data-centric detection and mitigation against smartphone crypto-ransomware

  2021cites this paper
• Ransomware Detection Using the Dynamic Analysis and Machine Learning: A Survey and Research Directions

  2021influential citation
• Study on Prevention and Solution of Ransomware Attack

  2021cites this paper
• Dominant Feature Selection and Machine Learning-Based Hybrid Approach to Analyze Android Ransomware

  2021cites this paper
• Ransomware Mitigation in the Modern Era: A Comprehensive Review, Research Challenges, and Future Directions

  2021influential citation
• A Review on Ransomware Attack

  2021cites this paper
• A Survey on Windows-based Ransomware Taxonomy and Detection Mechanisms

  2021cites this paper
• IoTContact: A Strategy for Predicting Contagious IoT Nodes in Mitigating Ransomware Attacks

  2021cites this paper
• Audio signal processing for Android malware detection and family identification

  2021cites this paper
• An Improved Solution to Tackle Cyber Attacks

  2021cites this paper
• A survey on analysis and detection of Android ransomware

  2021cites this paper
• A proposed Adaptive Pre-Encryption Crypto-Ransomware Early Detection Model

  2021cites this paper
• Key Factors Influencing the Rise of Current Ransomware Attacks on Industrial Control Systems

  2021cites this paper
• A Survey on Ransomware: Evolution, Taxonomy, and Defense Solutions

  2021cites this paper
• Ransomware in Windows and Android Platforms

  2020influential citation
• Blockchain-based semi-autonomous ransomware

  2020cites this paper
• Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning

  2020cites this paper
• Deep learning for image-based mobile malware detection

  2020cites this paper
• Detecting Colluding Inter-App Communication in Mobile Environment

  2020cites this paper
• Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection

  2020cites this paper
• A Digital DNA Sequencing Engine for Ransomware Analysis using a Machine Learning Network

  2020cites this paper
• Research on Android Ransomware Protection Technology

  2020cites this paper
• Colluding Android Apps Detection via Model Checking

  2020cites this paper
• Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation

  2020cites this paper
• Malicious Collusion Detection in Mobile Environment by means of Model Checking

  2020cites this paper
• Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences

  2020cites this paper
• A Digital DNA Sequencing Engine for Ransomware Detection Using Machine Learning

  2020cites this paper
• Android Run-time Permission Exploitation User Awareness by Means of Formal Methods

  2020cites this paper
• I2CE3: A dedicated and separated attack chain for ransomware offenses as the most infamous cyber extortion

  2020cites this paper
• Internet of things and ransomware: Evolution, mitigation and prevention

  2020cites this paper
• A Survey on Detection Techniques for Cryptographic Ransomware

  2019cites this paper
• Android malware detection based on system call sequences and LSTM

  2019cites this paper
• LEILA: Formal Tool for Identifying Mobile Malicious Behaviour

  2019cites this paper
• Systematic literature review and metadata analysis of ransomware attacks and detection mechanisms

  2019cites this paper
• RATAFIA: Ransomware Analysis using Time And Frequency Informed Autoencoders

  2019cites this paper
• Android Application Security Scanning Process

  2019cites this paper
• A Cyber-Kill-Chain based taxonomy of crypto-ransomware features

  2019cites this paper
• Machine Learning Based File Entropy Analysis for Ransomware Detection in Backup Systems

  2019cites this paper
• Ransomware Detection System for Android Applications

  2019influential citation
• Model Checking to Detect the Hummingbad Malware

  2019cites this paper
• Multilayer ransomware detection using grouped registry key operations, file entropy and file signature monitoring

  2019cites this paper
• Formal Techniques for Distributed Objects, Components, and Systems

  2019cites this paper
• R-Locker: Thwarting ransomware action through a honeyfile-based approach

  2018cites this paper
• A detection framework for android financial malware

  2018cites this paper
• Protection Against Semantic Social Engineering Attacks

  2018cites this paper
• A Comprehensive Survey on Ransomware Attack: A Growing Havoc Cyberthreat

  2018cites this paper
• Understanding Android Financial MalwareAttacks: Taxonomy, Characterization, and Challenges

  2018cites this paper
• A Two-stage Malware Detection Architecture Inspired by Human Immune System

  2018cites this paper
• On the effectiveness of system API-related information for Android ransomware detection

  2018cites this paper
• Automatically Traceback RDP-Based Targeted Ransomware Attacks

  2018cites this paper
• Understanding the impact of Ransomware: A Survey on its Evolution, Mitigation and Prevention Techniques

  2018cites this paper
• Ransomware detection by mining API call usage

  2018cites this paper
• An exploratory study on the evolution of Android malware quality

  2018cites this paper
• Experimenting and assessing machine learning tools for detecting and analyzing malicious behaviors in complex environments

  2018cites this paper
• Versatile Cybersecurity

  2018cites this paper
• Not so Crisp, Malware! Fuzzy Classification of Android Malware Classes

  2018cites this paper
• A Novel Structural-Entropy-based Classification Technique for Supporting Android Ransomware Detection and Analysis

  2018cites this paper
• A novel Self-Organizing Network solution towards Crypto-ransomware Mitigation

  2018cites this paper
• Ransomware prevention using application authentication-based file access control

  2018cites this paper
• A Review Paper on Malware and Malware Prevention and Detection

  2018cites this paper
• Dynamic malware detection and phylogeny analysis using process mining

  2018cites this paper
• Ransomware threat success factors, taxonomy, and countermeasures: A survey and research directions

  2018cites this paper
• Evaluating model checking for cyber threats code obfuscation identification

  2018cites this paper
• R-PackDroid: Practical On-Device Detection of Android Ransomware

  2018cites this paper
• Contemporary cybercrime: A taxonomy of ransomware threats & mitigation techniques

  2018cites this paper
• RansomWall: A layered defense system against cryptographic ransomware attacks using machine learning

  2018cites this paper
• STUDY ON MANAGEMENT ALTERNATIVES ON AGILE METHOD BASED FINANCIAL SECURITY SOFTWARE PROJECT 1

  2018cites this paper
• Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment

  2017cites this paper
• Model Checking for Mobile Android Malware Evolution

  2017cites this paper
• Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology

  2017cites this paper
• Ransomware: Current Trend, Challenges, and Research Directions

  2017cites this paper
• Talos: no more ransomware victims with formal methods

  2017cites this paper
• A fuzzy-based process mining approach for dynamic malware detection

  2017cites this paper
• How Discover a Malware using Model Checking

  2017cites this paper
• Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection

  2017cites this paper
• Detecting crypto-ransomware in IoT networks based on energy consumption footprint

  2017cites this paper
• Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique

  2017cites this paper
• Preuves d'algorithmes distribués par composition et raffinement. (Proofs of Distributed Algorithms by refinement and composition)

  2017cites this paper
• DNA-Droid: A Real-Time Android Ransomware Detection Framework

  2017cites this paper
• Let’s Gossip: Exploring Malware Zero-Day Time Windows by Social Network Analysis

  2017cites this paper
• A cloud-based intelligent and energy efficient malware detection framework: a framework for cloud-based, energy efficient, and reliable malware detection in real-time based on training SVM, decision tree, and boosting using specified heuristics anomalies of portable executable files

  2017cites this paper
• A 0-Day Aware Crypto-Ransomware Early Behavioral Detection Framework

  2017cites this paper