yusuke1997/dblp-id-title huggingface dataset:
Substitution inconsistencies in Transparent Intensional Logic
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
Adding clauses to poor man's logic (without increasing the complexity)
Some Considerations on the Logic PFD~
Regular bilattices
From KLM-style conditionals to defeasible modalities, and back
Hyper arrow logic with indiscernibility and complementarity
On Vidal's trivalent explanations for defective conditional in mathematics
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective
Knowledge means 'all', belief means 'most'
From self-regarding to other-regarding agents in strategic games: a logical analysis
Modal translation of substructural logics
Logical Interpolation and Projection onto State in the Duration Calculus
Definability in the class of all -frames - computability and complexity
Algebraic semantics for modal and superintuitionistic non-monotonic logics
An Algorithmic Logic Approach to Formalizing Database Update Semantics
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case
A note on Barcan formula
Note on paraconsistency and reasoning about fractions
Equivalence in logic-based argumentation
Decision Procedure of some Relevant Logics: A Constructive Perspective
In defence of a logic for 'because'
Fuzzy intensional semantics
On a theorem of Vaught for first order logic with finitely many variables
Verifying one hundred prisoners and a lightbulb
Paraconsistent logic and query answering in inconsistent databases
RASP and ASP as a fragment of linear logic
Unification and passive inference rules for modal logics
Quantitative possibility theory: logical- and graphical-based representations
An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation
Semantical analysis of weak Kleene logics
Natural deduction systems for Nelson's paraconsistent logic and its neighbors
A General-Purpose Defeasible Reasoner
A Bayesian approach to forward and inverse abstract argumentation problems
Defining LFIs and LFUs in extensions of infectious logics
Distributed knowledge
Expressive completeness of temporal logic of trees
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
Relevance Sensitive Non-Monotonic Inference on Belief Sequences
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach
From points to intervals
Fuzzy inference as deduction
Actions on belief
Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
Approximate coherence-based reasoning
Higher Order Multi-Valued Resolution
Automated Inference in Active Logics
A knowledge representation based on the Belnap's four-valued logic
Model-checking CTL* over flat Presburger counter systems
Logics with the universal modality and admissible consecutions
Deciding the unguarded modal µ-calculus
On Representation of Indeterminate Identity via Vague Concepts
Foundations of the rule-based system rLog
On interactive knowledge with bounded communication
Capturing the relationship between conditionals and conditional probability with a trivalent semantics
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
Regression in Modal Logic
Logical mechanisms of tabooing discourse
A quantitative doxastic logic for probabilistic processes and applications to information-hiding
A framework for iterated revision
Paraconsistent Logical Consequence
Linear-time temporal logics with Presburger constraints: an overview
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
n-valued maximal paraconsistent matrices
Non-Archimedean fuzzy and probability logic
The existential fragment of second-order propositional intuitionistic logic is undecidable
Reasoning without believing: on the mechanisation of presuppositions and partiality
Search for syllogistic structure of semantic information
Semantic interpolation
Non-normal modalities in variants of linear logic
Querying several conflicting databases
Logics from rough sets
Postulate satisfaction for inconsistency measures in monotonic logics and databases
The monadic hybrid calculus
Temporal equilibrium logic: a survey
Violation games: a new foundation for deontic logic
Epistemic space of degradation processes
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
Intentions and potential intentions revisited
A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence
Morphologic for knowledge dynamics: revision, fusion and abduction
Modal logic programming revisited
Temporal abductive reasoning about biochemical reactions
Sequent-type rejection systems for finite-valued non-deterministic logics
Most-intersection of countable sets
Grounding operators: transitivity and trees, logicality and balance
Relevance logics and intuitionistic negation
The modal multilogic of geometry
A translation from the modal logic of provability into K4
Society semantics and the logic way to collective intelligence
Matrix characterisation of the hierarchy FiC n of bivaluated logics
Of gaps, gluts, and God's ability to change the past
Varieties of MV-algebras
Constructive negation, implication, and co-implication
Temporal logic of surjective bounded morphisms between finite linear processes
Towards incorporating background theories into quantifier elimination
Frame constructions, truth invariance and validity preservation in many-valued modal logic
Expressiveness and succinctness of a logic of robustness
Logics for extended distributive contact lattices
Arithmetizations of Syllogistic à la Leibniz
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
Some remarks on certain trivalent accounts of presupposition projection
Some algebras and logics from quasiorder-generated covering-based approximation spaces
A family of metainferential logics
Decidability of topological quasi-Boolean algebras
Bridging Cybersecurity Practice and Law: A Hands-On, Scenario-Based Curriculum Using the NICE Framework to Foster Skill Development
Towards Agile Cybersecurity Risk Management for Autonomous Software Engineering Teams
Exploring Determinants of Information Security Systems Adoption in Saudi Arabian SMEs: An Integrated Multitheoretical Model
Evaluating Homomorphic Encryption Schemes for Privacy and Security in Healthcare Data Management
The Cybersecurity Focus Area Maturity (CYSFAM) Model
An Android-Based Internet of Medical Things Adaptive User Authentication and Authorization Model for the Elderly
A Methodological Approach to Evaluate Security Requirements Engineering Methodologies: Application to the IREHDO2 Project Context
Zero Trust in Practice: A Mixed-Methods Study Under the TOE Framework
An Approach for Anomaly Detection in Network Communications Using k-Path Analysis
AI-Powered Security for IoT Ecosystems: A Hybrid Deep Learning Approach to Anomaly Detection
Threat Intelligence Extraction Framework (TIEF) for TTP Extraction
When Things Heat Up: Detecting Malicious Activity Using CPU Thermal Sensors
A Framework for the Design of Privacy-Preserving Record Linkage Systems
Analyzing Action Interference of Administrative Obligations for SMT-Based Verification
Physics-Informed Graph Neural Networks for Attack Path Prediction
A Usable Encryption Solution for File-Based Geospatial Data within a Database File System
Biometric Systems De-Identification: Current Advancements and Future Directions
Journal of Cybersecurity and Privacy: A New Open Access Journal
A Trust-Aware Incentive Mechanism for Federated Learning with Heterogeneous Clients in Edge Computing
Generic Patterns for Intrusion Detection Systems in Service-Oriented Automotive and Medical Architectures
Secure and Privacy-Aware Blockchain Design: Requirements, Challenges and Solutions
Clone Node Detection Attacks and Mitigation Mechanisms in Static Wireless Sensor Networks
Partial Fake Speech Attacks in the Real World Using Deepfake Audio
Blockchain-Enabled GDPR Compliance Enforcement for IIoT Data Access
A Comparative Analysis of Defense Mechanisms Against Model Inversion Attacks on Tabular Data
Exploratory Study on Kali NetHunter Lite: A Digital Forensics Approach
Evaluating Cluster-Based Synthetic Data Generation for Blood-Transfusion Analysis
Experiential Transformation in Privacy Behavior: A New Framework for Privacy Behavior Enhancement
An Empirical Assessment of Endpoint Detection and Response Systems against Advanced Persistent Threats Attack Vectors
Investigating the Privacy and Security of the SimpliSafe Security System on Android and iOS
Association Rule Mining Meets Regression Analysis: An Automated Approach to Unveil Systematic Biases in Decision-Making Processes
Advancements in Synthetic Generation of Contactless Palmprint Biometrics Using StyleGAN Models
Password Similarity Using Probabilistic Data Structures
Generative Modeling for Imbalanced Credit Card Fraud Transaction Detection
Refinement Orders for Quantitative Information Flow and Differential Privacy
Towards a Near-Real-Time Protocol Tunneling Detector Based on Machine Learning Techniques
A Survey on Botnets, Issues, Threats, Methods, Detection and Prevention
Defending against OS-Level Malware in Mobile Devices via Real-Time Malware Detection and Storage Restoration
Image Encryption Algorithms: A Survey of Design and Evaluation Metrics
Augmented Reality and the Digital Twin: State-of-the-Art and Perspectives for Cybersecurity
Security and Independence of Process Safety and Control Systems in the Petroleum Industry
Evaluating Privacy Technologies in Digital Payments: A Balanced Framework
Developing Security Assurance Metrics to Support Quantitative Security Assurance Evaluation
Predicting Cybersecurity Incidents via Self-Reported Behavioral and Psychological Indicators: A Stratified Logistic Regression Approach
Information Security and Cybersecurity Management: A Case Study with SMEs in Portugal
Security and Privacy Management in Internet of Medical Things (IoMT): A Synthesis
Fed-DTB: A Dynamic Trust-Based Framework for Secure and Efficient Federated Learning in IoV Networks: Securing V2V/V2I Communication
Assessing the Security and Privacy of Baby Monitor Apps
Work Experience as a Factor in Cyber-Security Risk Awareness: A Survey Study with University Students
A Systematic Review on Hybrid AI Models Integrating Machine Learning and Federated Learning
Individual Differences in Psychological Stress Associated with Data Breach Experiences
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools
Bingo: A Semi-Centralized Password Storage System
A Lesson for the Future: Will You Let Me Violate Your Privacy to Save Your Life?
Acknowledgment to the Reviewers of Journal of Cybersecurity and Privacy in 2022
Extending the Quality of Secure Service Model to Multi-Hop Networks
Is Blockchain the Future of AI Alignment? Developing a Framework and a Research Agenda Based on a Systematic Literature Review
A Game-Theoretic Approach for Quantification of Strategic Behaviors in Digital Forensic Readiness
Enhancing Ransomware Threat Detection: Risk-Aware Classification via Windows API Call Analysis and Hybrid ML/DL Models
Cybersecurity in Hospitals: An Evaluation Model
Machine Learning Detection of Cloud Services Abuse as C&C Infrastructure
A Risk Assessment Analysis to Enhance the Security of OT WAN with SD-WAN
Comparative Vulnerability Analysis of Thai and Non-Thai Mobile Banking Applications
A Synopsis of "The Impact of Motivation, Price, and Habit on Intention to Use IoT-Enabled Technology: A Correlational Study"
Cybersecurity Threats and Their Mitigation Approaches Using Machine Learning - A Review
Machine Learning-Based Attack Detection and Mitigation with Multi-Controller Placement Optimization over SDN Environment
An Integrated Approach to Cyber Risk Management with Cyber Threat Intelligence Framework to Secure Critical Infrastructure
The Rise of Hacking in Integrated EHR Systems: A Trend Analysis of U.S. Healthcare Data Breaches
Chaotic Hénon-Logistic Map Integration: A Powerful Approach for Safeguarding Digital Images
A Lightweight Multimodal Framework for Misleading News Classification Using Linguistic and Behavioral Biometrics
Metric Differential Privacy on the Special Orthogonal Group SO(3)
Anomaly Detection for Modbus over TCP in Control Systems Using Entropy and Classification-Based Analysis
A Framework for Synthetic Agetech Attack Data Generation
Automotive Vulnerability Disclosure: Stakeholders, Opportunities, Challenges
Frame-Wise Steganalysis Based on Mask-Gating Attention and Deep Residual Bilinear Interaction Mechanisms for Low-Bit-Rate Speech Streams
Perceiving Digital Threats and Artificial Intelligence: A Psychometric Approach to Cyber Risk
The Effect of Countermeasure Readability on Security Intentions
ReMouse Dataset: On the Efficacy of Measuring the Similarity of Human-Generated Trajectories for the Detection of Session-Replay Bots
HEAD Access Control Metamodel: Distinct Design, Advanced Features, and New Opportunities
A Unified, Threat-Validated Taxonomy for Hardware Security Assurance
Enhancing User Experience with Visual Controls for Local Differential Privacy
Simulating Collaboration in Small Modular Nuclear Reactor Cybersecurity with Agent-Based Models
ScriptBlock Smuggling: Uncovering Stealthy Evasion Techniques in PowerShell and .NET Environments
An Investigation to Detect Banking Malware Network Communication Traffic Using Machine Learning Techniques
Efficient k-Resilient Public Key Authenticated Encryption with Keyword Search
GoibhniUWE: A Lightweight and Modular Container-Based Cyber Range
Humans and Automation: Augmenting Security Operation Centers
RSSI-Based MAC-Layer Spoofing Detection: Deep Learning Approach
Distributed Authentication and Authorization Models in Cloud Computing Systems: A Literature Review
Getting Rid of the Usability/Security Trade-Off: A Behavioral Approach
Knowledge Graphs and Semantic Web Tools in Cyber Threat Intelligence: A Systematic Literature Review
Contactless Fingerprint Recognition Using Deep Learning - A Systematic Review
The Use of Artificial Intelligence in Cybercrime: Impact Analysis in Ecuador and Mitigation Strategies
Enhancing SCADA Security Using Generative Adversarial Network
Requirements for Crafting Virtual Network Packet Captures
IoT IP Overlay Network Security Performance Analysis with Open Source Infrastructure Deployment
Tor Hidden Services: A Systematic Literature Review
Blockchain Technology: Emerging Applications and Use Cases for Secure and Trustworthy Smart Systems
How Close Is Existing C/C++ Code to a Safe Subset?
Cybersecurity: A New Open Access Journal
Advancing Cybersecurity Through Machine Learning: A Scientometric Analysis of Global Research Trends and Influential Contributions
Enhancing Machine Learning Prediction in Cybersecurity Using Dynamic Feature Selector
Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator
Users' Privacy Attitudes towards the Use of Behavioral Biometrics Continuous Authentication (BBCA) Technologies: A Protection Motivation Theory Approach
MICRA: A Modular Intelligent Cybersecurity Response Architecture with Machine Learning Integration
A Security and Privacy Scoring System for Contact Tracing Apps
Between Firewalls and Feelings: Modelling Trust and Commitment in Digital Banking Platforms
Evaluating End-User Defensive Approaches Against Phishing Using Education and Simulated Attacks in a Croatian University
Secure Remote Storage of Logs with Search Capabilities
AI-Driven Security for Blockchain-Based Smart Contracts: A GAN-Assisted Deep Learning Approach to Malware Detection
CLAP: A Cross-Layer Analytic Platform for the Correlation of Cyber and Physical Security Events Affecting Water Critical Infrastructures
Predicting Ransomware Incidents with Time-Series Modeling
A Distributed Model for Privacy Preserving V2I Communication with Strong Unframeability and Efficient Revocation
Integrated Analysis of Malicious Software: Insights from Static and Dynamic Perspectives
Statistical and Multivariate Analysis of the IoT-23 Dataset: A Comprehensive Approach to Network Traffic Pattern Discovery
A Blockchain-Based Decentralized Public Key Infrastructure Using the Web of Trust
Privacy in Flux: A 35-Year Systematic Review of Legal Evolution, Effectiveness, and Global Challenges (U.S./E.U. Focus with International Comparisons)
Challenging Assumptions of Normality in AES s-Box Configurations under Side-Channel Analysis
Cyber Crime Investigation: Landscape, Challenges, and Future Research Directions
RETRACTED: Alrubaiq, A.; Alharbi, T. Developing a Cybersecurity Framework for e-Government Project in the Kingdom of Saudi Arabia. J. Cybersecur. Priv. 2021, 1, 302-318
YoloMal-XAI: Interpretable Android Malware Classification Using RGB Images and YOLO11
Passwordless Authentication Using a Combination of Cryptography, Steganography, and Biometrics
Comparison of Deepfake Detection Techniques through Deep Learning
Sharing Machine Learning Models as Indicators of Compromise for Cyber Threat Intelligence
Attacking Tropical Stickel Protocol by MILP and Heuristic Optimization Techniques
Water-Tight IoT-Just Add Security
AI-Augmented SOC: A Survey of LLMs and Agents for Security Automation
Use & Abuse of Personal Information, Part II: Robust Generation of Fake IDs for Privacy Experimentation
A Systematic Literature Review on AI-Based Cybersecurity in Nuclear Power Plants
A Secure and Scalable Authentication and Communication Protocol for Smart Grids
SoK: An Evaluation of the Secure End User Experience on the Dark Net through Systematic Literature Review
Functionality-Preserving Adversarial Machine Learning for Robust Classification in Cybersecurity and Intrusion Detection Domains: A Survey
Security in Cloud-Native Services: A Survey
A Trust-Based Intrusion Detection System for RPL Networks: Detecting a Combination of Rank and Blackhole Attacks
The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios
Stochastic Modelling of Selfish Mining in Proof-of-Work Protocols
The Cybersecurity Awareness INventory (CAIN): Early Phases of Development of a Tool for Assessing Cybersecurity Knowledge Based on the ISO/IEC 27032
Characterizing the Impact of Data-Damaged Models on Generalization Strength in Intrusion Detection
Towards Analyzable Design Paradigms for Chaos-Based Cryptographic Primitives
Empowering End-Users with Cybersecurity Situational Awareness: Findings from IoT-Health Table-Top Exercises
User Reputation on E-Commerce: Blockchain-Based Approaches
Insights into Organizational Security Readiness: Lessons Learned from Cyber-Attack Case Studies
How to Influence Privacy Behavior Using Cognitive Theory and Respective Determinant Factors
Cybersecurity in a Large-Scale Research Facility - One Institution's Approach
Deep Learning and Machine Learning, Better Together Than Apart: A Review on Biometrics Mobile Authentication
Cybersecurity for AI Systems: A Survey
Detecting Malware C&C Communication Traffic Using Artificial Intelligence Techniques
Denial-of-Service Attacks on Permissioned Blockchains: A Practical Study
Detection of Hacker Intention Using Deep Packet Inspection
ARGUS: An Autonomous Robotic Guard System for Uncovering Security Threats in Cyber-Physical Environments
A Hybrid Dimensionality Reduction for Network Intrusion Detection
A Multi-Feature Semantic Fusion Machine Learning Architecture for Detecting Encrypted Malicious Traffic
Suspicious Financial Activity in the Context of In-Game Asset Exchange Marketplace
Modeling Intruder Reconnaissance Behavior through State Diagrams to Support Defensive Deception
Anomaly Detection Against Fake Base Station Threats Using Machine Learning
Novel Actionable Counterfactual Explanations for Intrusion Detection Using Diffusion Models
A Game or Notes? The Use of a Customized Mobile Game to Improve Teenagers' Phishing Knowledge, Case of Tanzania
A Gap Analysis of the Adoption Maturity of Certificateless Cryptography in Cooperative Intelligent Transportation Systems
Developing a Cybersecurity Framework for e-Government Project in the Kingdom of Saudi Arabia
Cybersecurity Practices for Social Media Users: A Systematic Literature Review
Deep Learning Approaches for Multi-Class Classification of Phishing Text Messages
Mapping Automated Cyber Attack Intelligence to Context-Based Impact on System-Level Goals
Security Attack Behavioural Pattern Analysis for Critical Service Providers
A Dynamic and Adaptive Cybersecurity Governance Framework
Trends and Challenges in Cybercrime in Greece
Reversing File Access Control Using Disk Forensics on Low-Level Flash Memory
Continued Fractions Applied to the One Line Factoring Algorithm for Breaking RSA
Polymorphic Adversarial Cyberattacks Using WGAN
Enhanced Deep Autoencoder-Based Reinforcement Learning Model with Improved Flamingo Search Policy Selection for Attack Classification
Checked and Approved? Human Resources Managers' Uses of Social Media for Cybervetting
Facilitating the Integrative Use of Security Knowledge Bases within a Modelling Environment
Cyberattacks in Smart Grids: Challenges and Solving the Multi-Criteria Decision-Making for Cybersecurity Options, Including Ones That Incorporate Artificial Intelligence, Using an Analytical Hierarchy Process
Energy Consumption Framework and Analysis of Post-Quantum Key-Generation on Embedded Devices
Differentially Private Block Coordinate Descent for Linear Regression on Vertically Partitioned Data
Trustworthiness of Situational Awareness: Significance and Quantification
Potential of Homomorphic Encryption for Cloud Computing Use Cases in Manufacturing
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics
Security Vulnerabilities in 5G Non-Stand-Alone Networks: A Systematic Analysis and Attack Taxonomy
Leveraging Large Language Models for Scalable and Explainable Cybersecurity Log Analysis
The Erosion of Cybersecurity Zero-Trust Principles Through Generative AI: A Survey on the Challenges and Future Directions
Improved Detection and Response via Optimized Alerts: Usability Study
Security Perception of IoT Devices in Smart Homes
SMARTEN - A Sample-Based Approach towards Privacy-Friendly Data Refinement
A Framework for Compliance with Regulation (EU) 2024/1689 for Small and Medium-Sized Enterprises
Abuse of Cloud-Based and Public Legitimate Services as Command-and-Control (C&C) Infrastructure: A Systematic Literature Review
Vulnerability Detection in Large Language Models: Addressing Security Concerns
TwinGuard: Privacy-Preserving Digital Twins for Adaptive Email Threat Detection
Ads and Fraud: A Comprehensive Survey of Fraud in Online Advertising
Protection of Personal Data in the Context of E-Commerce
Investigating Anti-Evasion Malware Triggers Using Automated Sandbox Reconfiguration Techniques
Inferring TLB Configuration with Performance Tools
A Comprehensive Analysis of Evolving Permission Usage in Android Apps: Trends, Threats, and Ecosystem Insights
Structured Heatmap Learning for Multi-Family Malware Classification: A Deep and Explainable Approach Using CAPEv2
A Survey of the Recent Trends in Deep Learning Based Malware Detection
An Understanding of the Vulnerability of Datasets to Disparate Membership Inference Attacks
AI-Driven Cybersecurity in Mobile Financial Services: Enhancing Fraud Detection and Privacy in Emerging Markets
Detection of SQL Injection Attack Using Machine Learning Techniques: A Systematic Literature Review
Acknowledgment to Reviewers of Journal of Cybersecurity and Privacy in 2021
An Evaluation of the Security of Bare Machine Computing (BMC) Systems against Cybersecurity Attacks
The Privacy Flag Observatory: A Crowdsourcing Tool for Real Time Privacy Threats Evaluation
Power-Based Side-Channel Attacks on Program Control Flow with Machine Learning Models
On Data Leakage Prevention Maturity: Adapting the C2M2 Framework
Attribute-Centric and Synthetic Data Based Privacy Preserving Methods: A Systematic Review