yusuke1997/dblp-id-title huggingface dataset:
"TrustDroid™": Preventing the use of SmartPhones for information leaking in corporate networks through the used of static analysis taint tracking
Reverse engineering with bioinformatics algorithms over a sound android covert channel
Analysis and detection of malicious data exfiltration in web traffic
Rise of the iBots: Owning a telco network
Measuring the effectiveness of modern security products to detect and contain emerging threats - A consensus-based approach
8th International Conference on Malicious and Unwanted Software: "The Americas", MALWARE 2013, Fajardo, PR, USA, October 22-24, 2013
Code synchronization by morphological analysis
Measuring the health of antivirus ecosystems
Variant: a malware similarity testing framework
Results-oriented security
The waledac protocol: The how and why
Analysis and diversion of Duqu's driver
Smartphone malware evolution revisited: Android next target?
Memory behavior-based automatic malware unpacking in stealth debugging environment
CIS: The Crypto Intelligence System for automatic detection and localization of cryptographic functions in current malware
What can N-grams learn for malware detection?
Obfuscated malicious javascript detection using classification techniques
PsyBoG: Power spectral density analysis for detecting botnet groups
A Hybrid Static Tool to Increase the Usability and Scalability of Dynamic Detection of Malware
Generic unpacking using entropy analysis
Highly resilient peer-to-peer botnets are here: An analysis of Gameover Zeus
RePEconstruct: reconstructing binaries with self-modifying code and import address table destruction
Clustering android malware families by http traffic
Gorille sniffs code similarities, the case study of qwerty versus regin
Server-side script polumorphism: Techniques of analysis and defense
Noninvasive detection of anti-forensic malware
Smartphone malware detection: From a survey towards taxonomy
Circumventing cryptography in virtualized environments
Agent-based trace learning in a recommendation-verification system for cybersecurity
Advanced transcriptase for JavaScript malware
Evaluating security products based on appropriate usage
State of wireless security implementations in the United States and Europe - empirical data
Evidence of Advanced Persistent Threat: A case study of malware for political espionage
Bacterial quorum sensing for coordination of targeted malware
Multiprocess malware
REcompile: A decompilation framework for static analysis of binaries
Sandboxing and reasoning on malware infection trees
Malware provenance: code reuse detection in malicious software at scale
The power of obfuscation techniques in malicious JavaScript code: A measurement study
DySign: dynamic fingerprinting for the automatic detection of android malware
On the effectiveness of application characteristics in the automatic classification of malware on smartphones
An Android Application Sandbox system for suspicious software detection
Message from the general program chair
Optimising sybil attacks against P2P-based botnets
Codescanner: Detecting (Hidden) x86/x64 code in arbitrary files
Testing protections against web threats
Synthesizing near-optimal malware specifications from suspicious behaviors
Static Malware Detection & Subterfuge: Quantifying the Robustness of Machine Learning and Current Anti-Virus
11th International Conference on Malicious and Unwanted Software, MALWARE 2016, Fajardo, PR, USA, October 18-21, 2016
Behavioral Malware Classification using Convolutional Recurrent Neural Networks
13th International Conference on Malicious and Unwanted Software, MALWARE 2018, Nantucket, MA, USA, October 22-24, 2018
A simple client-side defense against environment-dependent web-based malware
SCRaaPS: X.509 Certificate Revocation Using the Blockchain-based Scrybe Secure Provenance System
A covert data transport protocol
6th International Conference on Malicious and Unwanted Software, MALWARE 2011, Fajardo, Puerto Rico, USA, October 18-19, 2011
Behavioral anomaly detection of malware on home routers
Resilience of Pruned Neural Network Against Poisoning Attack
SpyDroid: A Framework for Employing Multiple Real-Time Malware Detectors on Android
A virtual testbed for security management of industrial control systems
Protection against remote code execution exploits of popular applications in Windows
Malware Analysis and attribution using Genetic Information
Detecting Symbian OS malware through static function call analysis
Run-time classification of malicious processes using system call analysis
Building malware infection trees
Game-theoretic design of an information exchange model for detecting packed malware
Dynamic classification of packing algorithms for inspecting executables using entropy analysis
GPU-assisted malware
METICS: A Holistic Cyber Physical System Model for IEEE 14-bus Power System Security
An automated classification system based on the strings of trojan and virus families
Server-side dynamic code analysis
The Koobface botnet and the rise of social malware
Risk prediction of malware victimization based on user behavior
9th International Conference on Malicious and Unwanted Software: The Americas MALWARE 2014, Fajardo, PR, USA, October 28-30, 2014
Evaluating detection and treatment effectiveness of commercial anti-malware programs
Measuring security risk in the cloud-enabled enterprise
ROP payload detection using speculative code execution
Click-fraud monetizing malware: A survey and case study
Superimposing permutational covert channels onto reliable stream protocols
Rogue software: Protection against potentially unwanted applications
A transformation-based model of malware derivation
A construction of a self-modifiying language with a formal correction proof
Component protection metrics for security product development: I. AV-TEST Full Product Tests
Header information in malware families and impact on automated classifiers
Shades of grey: On the effectiveness of reputation-based "blacklists"
Secure service distribution for VErsatile Service-Oriented Wireless Mesh Networks
PRAST: Using Logic Bombs to Exploit the Android Permission Model and a Module Based Solution
Sybil attacks as a mitigation strategy against the Storm botnet
DroidDreamLight lurks behind legitimate Android apps
A recoverable hybrid C&C botnet
4th International Conference on Malicious and Unwanted Software, MALWARE 2009, Montréal, Quebec, Canada, October 13-14, 2009
An automatic anti-anti-VMware technique applicable for multi-stage packed malware
Unconditional self-modifying code elimination with dynamic compiler optimizations
Host-based code injection attacks: A popular technique used by malware
BoTGen: A new approach for in-lab generation of botnet datasets
Android malware family classification based on resource consumption over time
Combining commercial consensus and community crowd-sourced categorization of web sites for integrity against phishing and other web fraud
Malware propagation in Online Social Networks
Unmasking Criminal Enterprises: An Analysis of Bitcoin Transactions
Differentiating malware from cleanware using behavioural analysis
Covert remote syscall communication at kernel level: A SPOOKY backdoor
Predicting signatures of future malware variants
Zonedroid: control your droid through application zoning
3rd International Conference on Malicious and Unwanted Software, MALWARE 2008, Alexandria, Virginia, USA, October 7-8, 2008
Dissecting developer policy violating apps: characterization and detection
Drive-by downloads from the trenches
Classification and detection of metamorphic malware using value set analysis
12th International Conference on Malicious and Unwanted Software, MALWARE 2017, Fajardo, PR, USA, October 11-14, 2017
An In-Depth Study of Open-Source Command and Control Frameworks
Architecture for automation of malware analysis
Use-case-specific metrics for comparative testing of endpoint security products
Deep neural network based malware detection using two dimensional binary program features
MysteryChecker: Unpredictable attestation to detect repackaged malicious applications in Android
Distributed malware analysis scheduling
Model-driven Timing Consistency for Active Malware Redirection
Stealthy malware traffic - Not as innocent as it looks
Malware analysis with graph kernels and support vector machines
Lightweight behavioral malware detection for windows platforms
Exploring network-based malware classification
Android platform based linux kernel rootkit
Malware authors don't learn, and that's good!
Is eval () Evil : A study of JavaScript in PDF malware
Automatic construction of printable return-oriented programming payload
Circumventing keyloggers and screendumps
Morphological detection of malware
10th International Conference on Malicious and Unwanted Software, MALWARE 2015, Fajardo, PR, USA, October 20-22, 2015
Overcoming the limitations in computer worm models
SigPID: significant permission identification for android malware detection
AirHopper: Bridging the air-gap between isolated networks and mobile phones using radio frequencies
Identifying malware genera using the Jensen-Shannon distance between system call traces
Exploiting an I/OMMU vulnerability
Image spam - ASCII to the rescue!
Native malware detection in smartphones with android OS using static analysis, feature selection and ensemble classifiers
Using Markov chains to filter machine-morphed variants of malicious programs
Counterfeit mobile devices - the duck test
HoneyAgent: Detecting malicious Java applets by using dynamic analysis
A framework for empirical evaluation of malware detection resilience against behavior obfuscation
Fighting banking botnets by exploiting inherent command and control vulnerabilities
GPFinder: Tracking the invisible in Android malware
Preliminary study of fission defenses against low-volume DoS attacks on proxied multiserver systems
PIDS: A Behavioral Framework for Analysis and Detection of Network Printer Attacks
BinGraph: Discovering mutant malware using hierarchical semantic signatures
7th International Conference on Malicious and Unwanted Software, MALWARE 2012, Fajardo, PR, USA, October 16-18, 2012
Nebula - generating syntactical network intrusion signatures
It's you on photo?: Automatic detection of Twitter accounts infected with the Blackhole Exploit Kit
Targeted DoS on android: how to disable android in 10 seconds or less
Segmented sandboxing - A novel approach to Malware polymorphism detection
Automatically combining static malware detection techniques
Rootkit detection through phase-space analysis of power voltage measurements
Attacking OMG Data Distribution Service (DDS) Based Real-Time Mission Critical Distributed Systems
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy
An Approach to Math-Similarity Search
On the Integrity of a Repository of Formalized Mathematics
Formalizing Set Theory as it Is Actually Used
Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations
The SMGloM Project and System
Translating the IMPS Theory Library to MMT/OMDoc
MMT Objects
OpenMath Preface
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper)
Isabelle technology for the Archive of Formal Proofs with application to MMT
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper)
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Assembling the Digital Mathematics Library
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters
Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem
Oruga: Implementation and Use of Representational Systems Theory
Managing Automatically Formed Mathematical Theories
First Experiments with Neural Translation of Informal to Formal Mathematics
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving
Rule-Based Simplification in Vector-Product Spaces
From Notation to Semantics: There and Back Again
A Web Interface for Isabelle: The Next Generation
Towards Formal Proof Script Refactoring
MKM from Book to Computer: A Case Study
Explanation in Natural Language of lamda-µµ-Terms
From Tessellations to Table Interpretation
Automatically Finding Theory Morphisms for Knowledge Management
Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper)
A Heuristic Prover for Elementary Analysis in Theorema
Reproducing a Geometric Working Session
Natural Deduction Environment for Matita
Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study
Formal Languages for Mathematics
Capturing Abstract Matrices from Paper
Formalizing Fibonacci Squares (short paper)
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
A Survey on Retrieval of Mathematical Knowledge
Reading an algebra textbook
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata
Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms
Formal Representation of Mathematics in a Dependently Typed Set Theory
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case
OpenMath Content Dictionaries for SI Quantities and Units
Sethood Property in Mizar
Implementation of dynamic algebra in Epsilonwriter
Enabling Symbolic and Numerical Computations in HOL Light
A Rational Reconstruction of a System for Experimental Mathematics
Discourse Phenomena in Mathematical Documents
Semantic parsing of geometry statements using supervised machine learning on synthetic data
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper)
Flexible Encoding of Mathematics on the Computer
On the Roles of L A T E X and MathML in Encoding and Processing Mathematical Expressions
Digitisation, Representation, and Formalisation
Numerical MATh
Hipster: Integrating Theory Exploration in a Proof Assistant
Automatic Proof-Checking of Ordinary Mathematical Texts
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
Induction with Generalization in Superposition Reasoning
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving
Mizar: State-of-the-art and Beyond
Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Targeted Configuration of an SMT Solver
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover
Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
OntoMath Edu : A Linguistically Grounded Educational Mathematical Ontology
A Query Language for a Metadata Framework about Mathematical Resources
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Towards Specifying Symbolic Computation
A Logical Framework Perspective on Conservativity
Hybrid and alternative logics in Isabelle
Processing Textbook-Style Matrices
Finite Groups Representation Theory with Coq
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs
Progress in the Formalization of Matiyasevich's Theorem in the Mizar System
Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis
RFC: DLMF Content Dictionaries (short paper)
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
Towards the Formalization of Fractional Calculus in Higher-Order Logic
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
Mathematics and Scientific Markup
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Formalization of RBD-Based Cause Consequence Analysis in HOL
FMM Preface
View of Computer Algebra Data from Coq
Literate Sources for Content Dictionaries: A Progress Report
Generating Custom Set Theories with Non-set Structured Objects
CPoint: Dissolving the Author's Dilemma
Digital Repository of Mathematical Formulae
Concrete Semantics with Coq and CoqHammer
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving
Interpretation of Locales in Isabelle: Theories and Proof Contexts
Online Machine Learning Techniques for Coq: A Comparison
Extracting Theory Graphs from Aldor Libraries
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Mathematical Knowledge Browser with Automatic Hyperlink Detection
Interleaving Strategies
Firefox OS Web Apps for Science
Proof Assistant Decision Procedures for Formalizing Origami
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools
Tagged mathematics in PDFs for accessibility and other purposes
Formalizing Pick's Theorem in Isabelle/HOL
Communities of Practice in MKM: An Extensional Model
NAG Library Documentation
Capturing the Content of Physics: Systems, Observables, and Experiments
Formal Proof: Reconciling Correctness and Understanding
An Annotated Corpus and a Grammar Model of Theorem Description
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
Biform Theories: Project Description
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
A Vernacular for Coherent Logic
Beautiful Formalizations in Isabelle/Naproche
Design of Search Interfaces for Mathematicians
OpenMath in SCIEnce: SCSCP and POPCORN
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Inductive Benchmarks for Automated Reasoning
Dataset Description: Formalization of Elementary Number Theory in Mizar
Determining Empirical Characteristics of Mathematical Expression Use
Deep Learning for Math Knowledge Processing
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking
An Evaluation of NLP Methods to Extract Mathematical Token Descriptors
Readable Formalization of Euler's Partition Theorem in Mizar
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021
Dependent types for an adequate programming of algebra
Scaling feature based mathematical search engine for real-world document sets
Definedness Reasoning in Formal Mathematics and Theorem Proving
Forms of Plagiarism in Digital Mathematical Libraries
Literate Proving: Presenting and Documenting Formal Proofs
MioGatto: A Math Identifier-oriented Grounding Annotation Tool
Isabelle Import Infrastructure for the Mizar Mathematical Library
Lemmaless Induction in Trace Logic
Relational Data Across Mathematical Libraries
Methods of Relevance Ranking and Hit-content Generation in Math Search
New Approaches to ATPs
Automating Formalization of Mathematics with Machine Learning and Data Mining
Executing in Common Lisp, Proving in ACL2
Impasse-Driven Reasoning in Proof Planning
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Determining Points on Handwritten Mathematical Symbols
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
FVPS Preface
A PVS Library on the Infinitude of Primes
Authoring Presentation for OpenMath
Isabelle Formalisation of Original Representation Theorems
A Modular First Formalisation of Combinatorial Design Theory
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis
A Groupoid of Isomorphic Data Transformations
Mathematical Service Matching Using Description Logic and OWL
VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper)
Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper)
Extraction of Logical Structure from Articles in Mathematics
Enhancement of Mizar Texts with Transitivity Property of Predicates
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Formalization of Transform Methods Using HOL Light
Efficient Retrieval of Mathematical Statements
Extracting Higher-Order Goals from the Mizar Mathematical Library
Certified Computer Algebra on Top of an Interactive Theorem Prover
A Contextual and Labeled Math-Dataset Derived from NIST's DLMF
Part-of-Math Tagging and Applications
System Description: XSL-Based Translator of Mizar to LaTeX
VMEXT: A Visualization Tool for Mathematical Expression Trees
The "MATh Tutor" project
A Promising Path Towards Autoformalization and General Artificial Intelligence
Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt from the ALEXANDRIA Project
A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions
Canonical Forms in Interactive Exercise Assistants
OpenMath Language Extensions
Semantic Representation of General Topology in the Wolfram Language
Managing Heterogeneous Theories within a Mathematical Knowledge Repository
Lemma Discovery for Induction - A Survey
Working with Families of Inverse Functions
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Representing Structural Language Features in Formal Meta-languages
OpenMathMap: accessing math via interactive maps
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Towards Constructive Homological Algebra in Type Theory
Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools
The Declaratron, semantic specification for scientific computation using MathML
Re-imagining the Isabelle Archive of Formal Proofs
NNexus Reloaded
Generic Literals
Formalization of Normal Random Variables in HOL
Synthesis Benchmarks for Automated Reasoning
Formalising Basic Topology for Computational Logic in Simple Type Theory
A Proof-Theoretic Approach to Tactics
Using Small-Step Refinement For Algorithm Verification In Computer Science Education
Information Retrieval and Rendering with
Combining Coq and Gappa for Certifying Floating-Point Programs
Information Retrieval in MML
A Symbolic Companion for Interactive Geometric Systems
The New Numdam Platform
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha
Ziggy: very interactive trigonometry
Structured Induction Proofs in Isabelle/Isar
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Copyright Issues for MKM
Formal Logic Definitions for Interchange Languages
Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
DeepAlgebra - An Outline of a Program
Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean
CAMAL 40 Years on - Is Small Still Beautiful?
Formalizing MLTL Formula Progression in Isabelle/HOL
Towards Knowledge Management for HOL Light
Project EuDML - A First Year Demonstration
Mathematical Theory Exploration in Theorema: Reduction Rings
On the Syntax and Semantics of CAP
Towards a Parser for Mathematical Formula Recognition
The Web Geometry Laboratory Project
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study