Cover Image

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alshmrany, Kaled M., Aldughaim, Mohannad, Wei, Chenfeng, Sweet, Tom, Allmendinger, Richard, Cordeiro, Lucas C.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
by: Alshmrany, Kaled M., et al.
Published: (2022)

FuSeFL: Fully Secure and Scalable Federated Learning
by: Ghinani, Sahar Ghoflsaz, et al.
Published: (2025)

Accelerating Incident Response: A Hybrid Approach for Data Breach Reporting
by: Arrus, Aurora, et al.
Published: (2026)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

BMC4TimeSec: Verification Of Timed Security Protocols
by: Zbrzezny, Agnieszka M.
Published: (2026)

Assessing Generalisation Capability of Machine Learning Models for Intrusion Detection
by: Hossain, Md Zakir, et al.
Published: (2026)

Hybrid Approach to Directed Fuzzing
by: Parygina, Darya, et al.
Published: (2025)

A Hybrid AI-based and Rule-based Approach to DICOM De-identification: A Solution for the MIDI-B Challenge
by: Haghiri, Hamideh, et al.
Published: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

Side-Channel Extraction of Dataflow AI Accelerator Hardware Parameters
by: Lomet, Guillaume, et al.
Published: (2025)

A Pervasive, Efficient and Private Future: Realizing Privacy-Preserving Machine Learning Through Hybrid Homomorphic Encryption
by: Nguyen, Khoa, et al.
Published: (2024)

Osiris: A Systolic Approach to Accelerating Fully Homomorphic Encryption
by: Ebel, Austin, et al.
Published: (2024)

Indoor and Outdoor Crowd Density Level Estimation with Video Analysis through Machine Learning Models
by: Arefin, Mahira, et al.
Published: (2024)

Advancing Malicious Website Identification: A Machine Learning Approach Using Granular Feature Analysis
by: Tran, Kinh, et al.
Published: (2024)

Enhancing Network Security: A Hybrid Approach for Detection and Mitigation of Distributed Denial-of-Service Attacks Using Machine Learning
by: Shohan, Nizo Jaman, et al.
Published: (2025)

Fusion of Machine Learning and Blockchain-based Privacy-Preserving Approach for Health Care Data in the Internet of Things
by: Bezanjani, Behnam Rezaei, et al.
Published: (2025)

Accelerating Private Large Transformers Inference through Fine-grained Collaborative Computation
by: Chen, Yuntian, et al.
Published: (2024)

Speed Kills: Exploring Confused Deputy Attacks Through Edge AI Accelerators
by: Danduri, Datta Manikanta Sri Hari, et al.
Published: (2026)

Hybrid Machine Learning Approach For Real-Time Malicious Url Detection Using Som-Rmo And Rbfn With Tabu Search Optimization
by: T, Swetha, et al.
Published: (2024)

Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses
by: Ferrag, Mohamed Amine, et al.
Published: (2023)

Eclipse Attacks on Ethereum's Peer-to-Peer Network
by: Shi, Ruisheng, et al.
Published: (2026)

FeatureBleed: Inferring Private Enriched Attributes From Sparsity-Optimized AI Accelerators
by: Asher, Darsh, et al.
Published: (2026)

GATEBLEED: Exploiting On-Core Accelerator Power Gating for High Performance & Stealthy Attacks on AI
by: Kalyanapu, Joshua, et al.
Published: (2025)

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
by: de Sousa, Janislley Oliveira, et al.
Published: (2024)

Guaranteeing Privacy in Hybrid Quantum Learning through Theoretical Mechanisms
by: Ngo, Hoang M., et al.
Published: (2026)

Quantum AI Algorithm Development for Enhanced Cybersecurity: A Hybrid Approach to Malware Detection
by: Joshi, Tanya, et al.
Published: (2025)

FedSurrogate: Backdoor Defense in Federated Learning via Layer Criticality and Surrogate Replacement
by: Abacha, Fatima Z., et al.
Published: (2026)

How Secure is Forgetting? Linking Machine Unlearning to Machine Learning Attacks
by: P., Muhammed Shafi K., et al.
Published: (2025)

CryptoCatch: Cryptomining Hidden Nowhere
by: Shi, Ruisheng, et al.
Published: (2026)

Accelerating Vertical Federated Learning
by: Cai, Dongqi, et al.
Published: (2022)

A Comparative Analysis of Ensemble-Based Machine Learning Approaches with Explainable AI for Multi-Class Intrusion Detection in Drone Networks
by: Hossain, Md. Alamgir, et al.
Published: (2025)

Presto: Hardware Acceleration of Ciphers for Hybrid Homomorphic Encryption
by: Jeon, Yeonsoo, et al.
Published: (2025)

A Survey On Secure Machine Learning
by: Liao, Taobo, et al.
Published: (2025)

Cybersecurity AI: Hacking Consumer Robots in the AI Era
by: Mayoral-Vilches, Víctor, et al.
Published: (2026)

Understanding Malware Propagation Dynamics through Scientific Machine Learning
by: Pappu, Karthik, et al.
Published: (2025)

AI-Accelerated Brute Force Cryptanalysis
by: Samid, Gideon
Published: (2026)

Slot: Provenance-Driven APT Detection through Graph Reinforcement Learning
by: Qiao, Wei, et al.
Published: (2024)

New Machine Learning Approaches for Intrusion Detection in ADS-B
by: Ngamboé, Mikaëla, et al.
Published: (2025)

Enhancing Automotive Security with a Hybrid Approach towards Universal Intrusion Detection System
by: Islam, Md Rezanur, et al.
Published: (2025)

Ensemble Defense System: A Hybrid IDS Approach for Effective Cyber Threat Detection
by: Alharbi, Sarah, et al.
Published: (2024)