Image de couverture de livre

Core Logic and Algorithmic Performance Enhancements for a System Vulnerability Analysis Technique for Complex Mission Critical Systems Implementation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tassava, Matthew, Kolodjski, Cameron, Milbrath, Jordan, Straub, Jeremy
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Technical Upgrades to and Enhancements of a System Vulnerability Analysis Tool Based on the Blackboard Architecture
par: Tassava, Matthew, et autres
Publié: (2024)

Enhancing Security Testing Software for Systems that Cannot be Subjected to the Risks of Penetration Testing Through the Incorporation of Multi-threading and and Other Capabilities
par: Tassava, Matthew, et autres
Publié: (2024)

Incorporation of Verifier Functionality in the Software for Operations and Network Attack Results Review and the Autonomous Penetration Testing System
par: Milbrath, Jordan, et autres
Publié: (2024)

Development of an AI Anti-Bullying System Using Large Language Model Key Topic Detection
par: Tassava, Matthew, et autres
Publié: (2024)

Dynamic Vulnerability Criticality Calculator for Industrial Control Systems
par: Cheimonidis, Pavlos, et autres
Publié: (2024)

Evaluating Vulnerability of Chiplet-Based Systems to Contactless Probing Techniques
par: Deric, Aleksa, et autres
Publié: (2024)

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
par: Sherman, Alan T., et autres
Publié: (2025)

Cybersecurity Software Tool Evaluation Using a 'Perfect' Network Model
par: Straub, Jeremy
Publié: (2024)

Cyber Insurance, Audit, and Policy: Review, Analysis and Recommendations
par: Hanson, Danielle Jean, et autres
Publié: (2026)

LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
par: Rashid, Syed Md Mukit, et autres
Publié: (2026)

Smart Medical IoT Security Vulnerabilities: Real-Time MITM Attack Analysis, Lightweight Encryption Implementation, and Practitioner Perceptions in Underdeveloped Nigerian Healthcare Systems
par: Auwal, Aminu Muhammad
Publié: (2025)

HACK NDSU: A Real-world Event to Promote Student Interest in Cybersecurity
par: Garcia, Enrique, et autres
Publié: (2026)

A Real-Time Approach to Autonomous CAN Bus Reverse Engineering
par: Setterstrom, Kevin, et autres
Publié: (2026)

Evaluating Lightweight Block Cipher Payload Encryption for Real-Time CAN Traffic
par: Setterstrom, Kevin, et autres
Publié: (2026)

Framework for Risk-Based IoT Cybersecurity Audit Engagements
par: Hanson, Danielle, et autres
Publié: (2026)

LogicScan: An LLM-driven Framework for Detecting Business Logic Vulnerabilities in Smart Contracts
par: Gao, Jiaqi, et autres
Publié: (2026)

Differential Degradation Vulnerabilities in Censorship Circumvention Systems
par: Sun, Zhen, et autres
Publié: (2024)

Static Detection of Filesystem Vulnerabilities in Android Systems
par: Lee, Yu-Tsung, et autres
Publié: (2024)

LAAF: Logic-layer Automated Attack Framework A Systematic Red-Teaming Methodology for LPCI Vulnerabilities in Agentic Large Language Model Systems
par: Atta, Hammad, et autres
Publié: (2026)

Evil Vizier: Vulnerabilities of LLM-Integrated XR Systems
par: Zhang, Yicheng, et autres
Publié: (2025)

Analysis of Threat-Based Manipulation in Large Language Models: A Dual Perspective on Vulnerabilities and Performance Enhancement Opportunities
par: Samancioglu, Atil
Publié: (2025)

Quantifying AI Vulnerabilities: A Synthesis of Complexity, Dynamical Systems, and Game Theory
par: Kereopa-Yorke, B
Publié: (2024)

Rethinking the Vulnerabilities of Face Recognition Systems:From a Practical Perspective
par: Chen, Jiahao, et autres
Publié: (2024)

Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization
par: Wang, Meng, et autres
Publié: (2025)

All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
par: Sheng, Ze, et autres
Publié: (2025)

Ransomware: Analysis and Evaluation of Live Forensic Techniques and the Impact on Linux based IoT Systems
par: Korac, Salko, et autres
Publié: (2024)

Security Decisions for Cyber-Physical Systems based on Solving Critical Node Problems with Vulnerable Nodes
par: Otto, Jens, et autres
Publié: (2024)

CAC 2.0: A Corrupt and Correct Logic Locking Technique Resilient to Structural Analysis Attacks
par: Aksoy, Levent, et autres
Publié: (2024)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
par: Smaragdakis, Yannis, et autres
Publié: (2025)

Graph-based Modeling and Simulation of Emergency Services Communication Systems
par: Jordan, Jardi Martinez, et autres
Publié: (2024)

Bringing Rust to Safety-Critical Systems in Space
par: Seidel, Lukas, et autres
Publié: (2024)

Evaluation of Hash Algorithm Performance for Cryptocurrency Exchanges Based on Blockchain System
par: Chen, Abel C. H.
Publié: (2024)

A Survey of Transaction Tracing Techniques for Blockchain Systems
par: Kumar, Ayush, et autres
Publié: (2025)

Using Data Redundancy Techniques to Detect and Correct Errors in Logical Data
par: Sharuvan, Ahmed, et autres
Publié: (2025)

Supply Chain Insecurity: Exposing Vulnerabilities in iOS Dependency Management Systems
par: Schmidt, David, et autres
Publié: (2026)

Evaluating Post-Quantum Cryptography on Embedded Systems: A Performance Analysis
par: Dong, Ben, et autres
Publié: (2024)

SmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual Abstraction
par: Fattahdizaji, Ali, et autres
Publié: (2026)

Implementation and Analysis of Regev's Quantum Factorization Algorithm
par: Pawlitko, Przemysław, et autres
Publié: (2025)

Intelligent Attacks on Cyber-Physical Systems and Critical Infrastructures
par: de Sá, Alan Oliveira, et autres
Publié: (2025)

Fingerprinting of Machines in Critical Systems for Integrity Monitoring and Verification
par: Paliwal, Prakhar, et autres
Publié: (2024)