Using Verification Technology to Specify and Detect Malware

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-75867-9_63
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Using Memory Management to Detect and Extract Illegitimate Code for Malware Analysis

2012English

A Method to Detect Malware Based on Behavior Using Formal Concept Analysis

DEStech Transactions on Computer Science and Engineering
2017English

Protocol Verification Using Database Technology

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1989English

Malware Detection Using Honeypot and Malware Prevention

INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING AND TECHNOLOGY
2019English

Detect Malware in Portable Document Format Files (PDF) Using Support Vector Machine and Random Decision Forest

Jurnal Online Informatika
2019English

Using “Noise” to Detect Majorana States

Physics
2020English

MIGAN: Malware Image Synthesis Using GANs

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Malware Characterization Using WindowsAPI Call Sequences

Journal of Cyber Security and Mobility
HardwareComputer NetworksArchitectureCommunications
2018English

(Using Questionnaires to Detect Obstructive Sleep Apnoe)

Cor et Vasa
Cardiovascular MedicineCardiology
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy