Cover Image

BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferreirinha, Luis, Medeiros, Iberia
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Buffer Overflow in Mixture of Experts
by: Hayes, Jamie, et al.
Published: (2024)

Defending Buffer Overflows in WebAssembly: A Transpiler Approach
by: Feng, Weiqi
Published: (2026)

Time to Separate from StackOverflow and Match with ChatGPT for Encryption
by: Firouzi, Ehsan, et al.
Published: (2024)

SOSecure: Safer Code Generation with RAG and StackOverflow Discussions
by: Mukherjee, Manisha, et al.
Published: (2025)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
by: Jallow, Alfusainey, et al.
Published: (2025)

Mobile App Security Trends and Topics: An Examination of Questions From Stack Overflow
by: Huo, Timothy, et al.
Published: (2024)

WAIT: Protecting the Integrity of Web Applications with Binary-Equivalent Transparency
by: Meißner, Echo, et al.
Published: (2021)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

What Gets Measured Gets Managed: Mitigating Supply Chain Attacks with a Link Integrity Management System
by: So, Johnny, et al.
Published: (2025)

NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE
by: Li, Mingkai, et al.
Published: (2025)

Fingerprinting of Machines in Critical Systems for Integrity Monitoring and Verification
by: Paliwal, Prakhar, et al.
Published: (2024)

RADS-Checker: Measuring Compliance with Right of Access by the Data Subject in Android Markets
by: Li, Zhenhua, et al.
Published: (2024)

AICCE: AI Driven Compliance Checker Engine
by: Rahman, Mohammad Wali Ur, et al.
Published: (2026)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
by: Hamer, Sivana, et al.
Published: (2024)

Mitigating and Analysis of Memory Usage Attack in IoE System
by: Alwaisi, Zainab, et al.
Published: (2024)

Robust Steganography with Boundary-Preserving Overflow Alleviation and Adaptive Error Correction
by: Cheng, Yu, et al.
Published: (2024)

Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
by: Caulfield, Adam, et al.
Published: (2025)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

SoK: Runtime Integrity
by: Ammar, Mahmoud, et al.
Published: (2024)

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
by: Paul, Robi, et al.
Published: (2025)

Efficient Storage Integrity in Adversarial Settings
by: Burke, Quinn, et al.
Published: (2025)

CleanStack: A New Dual-Stack for Defending Against Stack-Based Memory Corruption Attacks
by: Chong, Lei
Published: (2025)

Securing UAV Communication: Authentication and Integrity
by: Ouadah, Meriem, et al.
Published: (2024)

WATSON: Leveraging Data Watchpoints for Shadow Stack Protection on Embedded Systems
by: Tan, Xi, et al.
Published: (2026)

On Scalable Integrity Checking for Secure Cloud Disks
by: Burke, Quinn, et al.
Published: (2024)

HyperQB: A Bounded Model Checker for Hyperproperties
by: Hsu, Tzu-Han, et al.
Published: (2021)

From Paranoia to Compliance: The Bumpy Road of System Hardening Practices on Stack Exchange
by: Busch, Niklas, et al.
Published: (2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

ReCopilot: Reverse Engineering Copilot in Binary Analysis
by: Chen, Guoqiang, et al.
Published: (2025)

Feedback-Driven Execution for LLM-Based Binary Analysis
by: Zhang, XiangRui, et al.
Published: (2026)

Prompt Control-Flow Integrity: A Priority-Aware Runtime Defense Against Prompt Injection in LLM Systems
by: Alam, Md Takrim Ul, et al.
Published: (2026)

TICAL: Trusted and Integrity-protected Compilation of AppLications
by: Krahn, Robert, et al.
Published: (2025)

Defining Atomicity (and Integrity) for Snapshots of Storage in Forensic Computing
by: Ottmann, Jenny, et al.
Published: (2025)

EILID: Execution Integrity for Low-end IoT Devices
by: Jakkamsetti, Sashidhar, et al.
Published: (2025)

Securing LLM Agents Need Intent-to-Execution Integrity
by: Qu, Wenjie, et al.
Published: (2026)

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
by: Arasteh, Sima, et al.
Published: (2025)

A Novel Buffered Federated Learning Framework for Privacy-Driven Anomaly Detection in IIoT
by: Poorazad, Samira Kamali, et al.
Published: (2024)

RISecure-PUF: Multipurpose PUF-Driven Security Extensions with Lookaside Buffer in RISC-V
by: Chen, Chenghao, et al.
Published: (2024)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
by: Ray, Dustin, et al.
Published: (2025)

Supply Chain Insecurity: The Lack of Integrity Protection in SBOM Solutions
by: Ozkan, Can, et al.
Published: (2024)