yusuke1997/dblp-id-title huggingface dataset:
A novel approach for ransomware detection based on PE header using graph embedding
Signature-less ransomware detection and mitigation
How to detect the Cuckoo Sandbox and to Strengthen it?
Banking behavior in security and multi-channel environment
Automating NFC message sending for good and evil
Correction to: Parametric study of hand dorsal vein biometric recognition vulnerability to spoofing attacks
Semi-automatic binary protection tampering
Auto-Sign: an automatic signature generator for high-speed malware filtering devices
Intrusion detection and virology: an analysis of differences, similarities and complementariness
CPU bugs, CPU backdoors and consequences on security
Detecting and preventing replay attacks in industrial automation networks operated with profinet IO
Detection of metamorphic and virtualization-based malware using algebraic specification
Efficient and secure DNS cyber shelter on DDoS attacks
Removing web spam links from search engine results
Comparison of the complexity of Diffie-Hellman and discrete logarithm problems
Machine learning methods for speech emotion recognition on telecommunication systems
Big data with machine learning enabled intrusion detection with honeypot intelligence system on apache Flink (BDML-IDHIS)
Malware classification based on call graph clustering
Hacking and convergence computing
Using the KBTA method for inferring computer and network security alerts from time-stamped, raw system metrics
SEQUIN: a grammar inference framework for analyzing malicious system behavior
BotSpot: fast graph based identification of structured P2P bots
Malware behaviour analysis
A practical approach on clustering malicious PDF documents
Picker Blinder: a framework for automatic injection of malicious inter-app communication
Zipf's law analysis on the leaked Iranian users' passwords
Reducing overdefined systems of polynomial equations derived from small scale variants of the AES via data mining methods
Raptor vision-invasive hunt optimization enabled light graph attention coupled gated graph sequence neural network for vulnerability detection
A performance evaluation of information security training in public sector
Parameter tuning of Tinkerbell chaotic function via particle swarm optimization for enhanced image encryption security
ACER: detecting Shadowsocks server based on active probe technology
Dueling hidden Markov models for virus analysis
Simple substitution distance and metamorphic detection
From comments to threats: leveraging NLP to detect malicious browser extensions
On the comparison of methods for asymmetric execution of cryptographic primitives and protocols in the context of using small parameters and short keys
Analysis of a scanning model of worm propagation
Transaction pseudonyms in mobile environments
Fast virus detection by using high speed time delay neural networks
Anomaly detection in business processes logs using social network analysis
Automated AI framework for Malicious URL detection through enhanced feature extraction
Visual malware detection using local malicious pattern
Impeding behavior-based malware analysis via replacement attacks to malware specifications
Attacking TrustZone on devices lacking memory protection
ChRelBAC data access control model for large-scale interactive informational-analytical systems
The threat of forcing the identical roles for authenticated key establishment protocols
Securing healthcare systems: a random forest approach to malicious URL detection
The effects of feature selection on the classification of encrypted botnet
Analytical modelling of cyber-physical systems: applying kinetic gas theory to anomaly detection in networks
A generalized framework for accelerating exhaustive search utilizing deterministic related-key differential characteristics
I know your MAC address: targeted tracking of individual using Wi-Fi
Characterization of virus replication
Testing and evaluating virus detectors for handheld devices
Lightweight versus obfuscation-resilient malware detection in android applications
Netflow-based operating system identification using machine learning
Data protection in heterogeneous big data systems
Regular expression matching with input compression: a hardware design for use within network intrusion detection systems
Editors/translators Foreword
Defeating FIDO2/CTAP2/WebAuthn using browser in the middle and reflected cross site scripting
Detecting stealth DHCP starvation attack using machine learning approach
Anti-virtual machines and emulations
On the role of the Facilitator in information security risk assessment
Danger theory and collaborative filtering in MANETs
Network malware classification comparison using DPI and flow packet headers
Convergence security systems
On the adaptive real-time detection of fast-propagating network worms
Accuracy improving guidelines for network anomaly detection systems
Improving virus protection with an efficient secure architecture with memory encryption, integrity and information leakage protection
Leveraging the first line of defense: a study on the evolution and usage of android security permissions for enhanced android malware detection
Estimation of the maximum order of substitutions
Detecting masquerades using a combination of Naïve Bayes and weighted RBF approach
Potential cyber threats of adversarial attacks on autonomous driving models
ECFGM: enriched control flow graph miner for unknown vicious infected code detection
Functional polymorphic engines: formalisation, implementation and use cases
Firmware-level reverse engineering and AI-augmented deobfuscation for IoT malware detection in embedded systems
An overview of vulnerability assessment and penetration testing techniques
Identification of malicious android app using manifest and opcode features
Modeling discovery and removal of security vulnerabilities in software system using priority queueing models
Hidden Markov models with random restarts versus boosting for malware detection
Software transformations to improve malware detection
Editorial special issue: Russian research in cybersecurity
A graph-based model for malware detection and classification using system-call groups
On delegatability of MDVS schemes
Profile hidden Markov models and metamorphic virus detection
On self-reproducing computer programs
A comprehensive system for detecting and verifying counterfeit images using deep neural networks
Malware classification with Word2Vec, HMM2Vec, BERT, and ELMo
Structural entropy and metamorphic malware
2Faces: a new model of malware based on dynamic compiling and reflection
Parametric study of hand dorsal vein biometric recognition vulnerability to spoofing attacks
Generative adversarial networks and image-based malware classification
On post-handshake authentication and external PSKs in TLS 1.3
Engineering graphics copyright protection via CAT and reversi-ble state loop maximum length cellular automata
The self modifying code (SMC)-aware processor (SAP): a security look on architectural impact and support
Leveraging branch traces to understand kernel internals from within
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks
MAC based solution for SQL injection
Malware analysis performance enhancement using cloud computing
Legal limits of search and seizure for digital forensic in Korea
Applied parallel coordinates for logs and network traffic attack analysis
Classification of return-oriented programming gadgets: a machine learning approach
Zero knowledge proof and ZK-SNARK for private blockchains
Hiding a fault enabled virus through code construction
ACPI and SMI handlers: some limits to trusted computing
Sliding window and control flow weight for metamorphic malware detection
Power customer network terminal security intrusion target identification based on knowledge graph and LightGBM algorithm
Detection of anomalies in compiled computer program files inspired by immune mechanisms using a template method
What's in a name. . . generator?
A comparison of static, dynamic, and hybrid analysis for malware detection
Understanding Linux kernel vulnerabilities
Evolution and characterization of point-of-sale RAM scraping malware
Provably secure counter mode with related-key-based internal re-keying
Classification and online clustering of zero-day malware
White-box attack context cryptovirology
Leveraging operational technology and the Internet of things to attack smart buildings
An enterprise antivirus for ransomware detection in the field of cybersecurity
Advanced fuzzing in the VoIP space
Unknown malcode detection and the imbalance problem
Efficient botnet herding within the Tor network
New threats of Java viruses
An analysis on secure coding using symbolic execution engine
On covert channels between virtual machines
Improving binary diffing speed and accuracy using community detection and locality-sensitive hashing: an empirical study
A practical approach to learning Linux vulnerabilities
DBI, debuggers, VM: gotta catch them all
Detection of crawler traps: formalization and implementation - defeating protection on internet and on the TOR network
B-tree with fixed node size and no minimum degree
Correction: Cryptanalysis of two post-quantum authenticated key agreement protocols
The editorial for special issue "Russian Research in Artificial Intelligence for Cybersecurity" of Journal of Computer Virology and Hacking Techniques (JICV) highlights the studies of Russian researchers in the field of artificial intelligence to ensure cybersecurity
Malware detection using assembly and API call sequences
Testing closed source software: computer forensic tool case study
Analysis of ResNet and GoogleNet models for malware detection
Managing university internet access: balancing the need for security, privacy and digital evidence
Malware Pattern Scanning Schemes Secure Against Black-box Analysis
Detecting and mitigating DHCP attacks in OpenFlow-based SDN networks: a comprehensive approach
Reversing the operating system of a Java based smart card
State of the art of network protocol reverse engineering tools
Security of controlled manufacturing systems in the connected factory: the case of industrial robots
Using convolutional neural networks for classification of malware represented as images
Dronezilla: designing an accurate malware behavior retrieval system
Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology
Artificial intelligence assisted cyber threat assessment and applications for the tourism industry
Usability evaluation of anti-phishing toolbars
PEzoNG: Advanced Packer For Automated Evasion On Windows
Bot countermeasures
Searching linear structures of permutation groups with quantum computer
Choquet integral-based product satisfaction inference in consideration of subjective decision-making tendencies
Fragmented malware through RFID and its defenses
Exploiting number theory for dynamic software watermarking
Malware and steganography in hard disk firmware
A novel method for malware detection based on hardware events using deep neural networks
An N -Gram and STF-IDF model for masquerade detection in a UNIX environment
Protection against adversarial attacks with randomization of recognition algorithm
Intelligence in security countermeasures selection
Secure access policy for efficient resource in mobile computing environment
Black-box forensic and antiforensic characteristics of solid-state drives
Metamorphic malware detection using structural features and nonnegative matrix factorization with hidden markov model
Detection and robustness evaluation of android malware classifiers
An analysis of Android adware
Measuring virtual machine detection in malware using DSD tracer
A hierarchical layer of atomic behavior for malicious behaviors prediction
A framework for supporting ransomware detection and prevention based on hybrid analysis
TAMAP: a new trust-based approach for mobile agent protection
Risky model of mobile application presentation
iOS mobile malware analysis: a state-of-the-art
A completely covert audio channel in Android
Eigenvalue analysis for metamorphic detection
Statically detecting use after free on binary code
The security of databases: the Access case
Constructing malware normalizers using term rewriting
On the possibility of practically obfuscating programs towards a unified perspective of code protection
The Office Demon: Minos
Minimal adversarial attack on the L 0 norm
NADA: new architecture for detecting DoS and DDoS attacks in fog computing
Modular arithmetic optimization in Kyber KEM
Partially identified Babassu cipher and attack on it
Malware clustering using suffix trees
Recognition of tor malware and onion services
Construction and evaluation of the new heuristic malware detection mechanism based on executable files static analysis
A study on common malware families evolution in 2012
A statistical model for undecidable viral detection
DHCP DoS and starvation attacks on SDN controllers and their mitigation
Role based access control using identity and broadcast based encryption for securing cloud data
Heuristic estimation of network capacity and spectrum requirement
Trends of anti-analysis operations of malwares observed in API call logs
Automatic binary deobfuscation
Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol
Smart card, the stealth leaker
Android botnets for multi-targeted attacks
Letter from the EICAR Chairman
Detecting privacy leaks in the RATP App: how we proceeded and what we found
SBMDS: an interpretable string based malware detection system using SVM ensemble with bagging
On the impossibility of an invariant attack on Kuznyechik
VILO: a rapid learning nearest-neighbor classifier for malware triage
Malware detection and classification using community detection and social network analysis
Fine-grained flexible access control: ciphertext policy attribute based encryption for arithmetic circuits
Chi-squared distance and metamorphic virus detection
Enabling automated threat response through the use of a dynamic security policy
Non-signature based virus detection
Erratum to: Evolution and characterization of point-of-sale RAM scraping malware
Provably minimum data complexity integral distinguisher based on conventional division property
A similarity metric method of obfuscated malware using function-call graph
A comparison of adversarial malware generators
Open Problems in Computer Virology
Cryptography: all-out attacks or how to attack cryptography without intensive cryptanalysis
Identifying Android malware using dynamically obtained features
On Abstract Computer Virology from a Recursion Theoretic Perspective
A set of features to detect web security threats
A token-based authentication security scheme for Hadoop distributed file system using elliptic curve cryptography
Historical notes on Russian cryptography
Developing a Trojan applets in a smart card
Metamorphic code generation from LLVM bytecode
Design and implementation of a sandbox for facilitating and automating IoT malware analysis with techniques to elicit malicious behavior: case studies of functionalities for dissecting IoT malware
XOR ciphers model and the attack to it
Counteraction the cybersecurity threats of the in-vehicle local network
Homomorphic encryption for data protection in cloud computing
Zemlyanika-Module-LWE based KEM with the power-of-two modulus, explicit rejection and revisited decapsulation failures
Mal2GCN: a robust malware detection approach using deep graph convolutional networks with non-negative weights
OpenDocument and Open XML security (OpenOffice.org and MS Office 2007)
XAI for intrusion detection system: comparing explanations based on global and local scope
Cryptanalysis of RSA with composed decryption exponent with few most significant bits of one of the primes
Retraction Note: Artificial intelligence assisted cyber threat assessment and applications for the tourism industry
Packer identification using Byte plot and Markov plot
Determining malicious executable distinguishing attributes and low-complexity detection
Validating network attack concepts: A TCAV-driven approach
Shadow attacks: automatically evading system-call-behavior based malware detection
CamDec: Advancing Axis P1435-LE video camera security using honeypot-based deception
Joint network-host based malware detection using information-theoretic tools
Function matching between binary executables: efficient algorithms and features
Singular value decomposition and metamorphic detection
Demonstration of new attacks on three healthcare network protocols in a lab environment
CovertGAN: intelligent cryptography using cross-domain adversarial generative diffusion
A mathematical exploitation of simulated uniform scanning botnet propagation dynamics for early stage detection and management
Pure-Call Oriented Programming (PCOP): chaining the gadgets using call instructions
Forced continuation of malware execution beyond exceptions
Run-time malware detection based on positive selection
Proactive defense against malicious documents: formalization, implementation and case studies
Securing a compiler transformation
Achieving high coverage in hardware equivalence checking via concolic verification
Abstraction Modulo Stability
Finite-trace linear temporal logic: coinductive completeness
Porous invariants for linear systems
Merging Behavior Specifications
On monitoring linear temporal properties
Bounded Model Checking Using Satisfiability Solving
A Model for Synchronous Switching Circuits and its Theory of Correctness
An extension of lazy abstraction with interpolation for programs with arrays
Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table
Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Budget-bounded model-checking pushdown systems
Efficient Algorithms for Interface Timing Verification
Decentralised LTL monitoring
Before and after vacuity
Runtime verification of real-time event streams using the tool HStriver
Don't care words with an application to the automata-based approach for real addition
Compositional Checking of Satsfaction
A survey of partial-observation stochastic parity games
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems
Bounded underapproximations
Golem: a flexible and efficient solver for constrained Horn clauses
Regrouping Parallel Processes
Some ways to reduce the space dimension in polyhedra computations
An improved algorithm for the control synthesis of nonlinear sampled switched systems
Runtime verification with minimal intrusion through parallelism
From liveness to promptness
Resolution proof transformation for compression and interpolation
Coverage metrics for temporal logic model checking *
On the Effective Deployment of Functional Formal Verification
Alloy*: a general-purpose higher-order relational constraint solver
Under-approximating loops in C programs for fast counterexample detection
Memory-Efficient Algorithms for the Verification of Temporal Properties
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
A zonotopic framework for functional abstractions
Temporal property verification as a program analysis task - Extended Version
Verification of the MultiStream Potocol (MSP) Using COSPAN
Gray-box monitoring of hyperproperties with an application to privacy
Compositional verification of concurrent systems by combining bisimulations
Connectivity Testing
Specifiable robustness in reactive synthesis
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
Model checking for probabilistic timed automata
A compositional modelling and analysis framework for stochastic hybrid systems
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
Formal methods: practical applications and foundations
Integrating ADTs in KeY and their application to history-based reasoning about collection
Introduction: Special Issue on CAV '97
Information-flow control on ARM and POWER multicore processors
Correction: Parameterized verification of leader/follower systems via first-order temporal logic
2009 CAV award announcement
Shield synthesis
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode
Three optimizations for Assume-Guarantee reasoning with L *
A Formal Framework for Viewpoint Consistency
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU
Automatic verification of concurrent stochastic systems
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
Preface to the special issue on Probabilistic Model Checking
Synthesis of large dynamic concurrent programs from dynamic specifications
Assumption-based Runtime Verification
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic
Exploring structural symmetry automatically in symbolic trajectory evaluation
Keeping logic in the trivium of computer science: a teaching perspective
Lessons Learned from Model Checking a NASA Robot Controller
Deriving Efficient Cache Coherence Protocols Through Refinement
From LTL to deterministic automata - A safraless compositional approach
Organising LTL monitors over distributed systems with a global clock
Distributed synthesis for well-connected architectures
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Preface of the special issue on the conference on formal methods in computer aided design 2018
A modal characterization of alternating approximate bisimilarity
Round- and context-bounded control of dynamic pushdown systems
Condensed State Spaces for Symmetrical Coloured Petri Nets
Introduction to the special issue on runtime verification
Bisimulation conversion and verification procedure for goal-based control systems
Formal Analysis of Correctness of Behavioral Transformations
Solving quantified linear arithmetic by counterexample-guided instantiation
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Verification and enforcement of access control policies
Partial program analysis for staged compilation systems
A Notation and Logic for Mobile Computing
On the Models for Asynchronous Circuit Behaviour with OR Causality
ModelPlex: verified runtime validation of verified cyber-physical system models
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Joint Minimization of Code and Data for Synchronous Dataflow Programs
Multi-scale verification of distributed synchronisation
Design and Verification of Distributed Recovery Blocks with CSP
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
Checking Combinational Equivalence of Speed-Independent Circuits
Interrupt Timed Automata: verification and expressiveness
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Conformance testing for real-time systems
Dynamic dependability analysis of shuffle-exchange networks
Hardness and inapproximability of minimizing adaptive distinguishing sequences
Some notes on the abstraction operation for multi-terminal binary decision diagrams
Verification of parametric concurrent systems with prioritised FIFO resource management
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Beyond vacuity: towards the strongest passing formula
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications
Quantifying conformance using the Skorokhod metric
A work-efficient distributed algorithm for reachability analysis
A Methodology for Efficient Hardware Verification
Counterexample-guided abstraction refinement for symmetric concurrent programs
Programs with lists are counter automata
Design and Analysis of Delay-Insensitive Modulo- N Counters
Certifying proofs for SAT-based model checking
Delay-Insensitivity and Semi-Modularity
Applying string-rewriting to sequence-based specification