Copertina

Formal Models and Convergence Analysis for Context-Aware Security Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Chaudhary, Ayush
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Cryptography and Security Machine Learning 68Q87, 94A17, 68T05 D.2.4; I.2.6; F.3.1; K.6.5
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
di: Peyrano, Ignacio
Pubblicazione: (2026)

One-Shot Secure Aggregation: A Hybrid Cryptographic Protocol for Private Federated Learning in IoT
di: Emmaka, Imraul, et al.
Pubblicazione: (2025)

Seed-Induced Uniqueness in Transformer Models: Subspace Alignment Governs Subliminal Transfer
di: Okatan, Ayşe Selin, et al.
Pubblicazione: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
di: Iskander, Ray
Pubblicazione: (2026)

Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
di: Okatan, Ayşe S., et al.
Pubblicazione: (2025)

PACT: Reducing Alert Fatigue in Low-Prevalence SOC Streams with Triggered Active Learning
di: Ndichu, Samuel, et al.
Pubblicazione: (2026)

Operationalizing Cybersecurity Governance for Mitigation Planning with Attack-Path Modeling and Reinforcement Learning
di: Huff, Philip, et al.
Pubblicazione: (2026)

Breaking Boundaries: Balancing Performance and Robustness in Deep Wireless Traffic Forecasting
di: Ilbert, Romain, et al.
Pubblicazione: (2023)

Adaptive Trust Consensus for Blockchain IoT: Comparing RL, DRL, and MARL Against Naive, Collusive, Adaptive, Byzantine, and Sleeper Attacks
di: Padia, Soham, et al.
Pubblicazione: (2025)

$δ$-STEAL: LLM Stealing Attack with Local Differential Privacy
di: Dang, Kieu, et al.
Pubblicazione: (2025)

Adaptive Mixture Importance Sampling for Automated Ads Auction Tuning
di: Jia, Yimeng, et al.
Pubblicazione: (2024)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
di: Wright, Craig S
Pubblicazione: (2025)

The Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
di: Xavier, Fabio Correa
Pubblicazione: (2025)

Agentic Artificial Intelligence for Ethical Cybersecurity in Uganda: A Reinforcement Learning Framework for Threat Detection in Resource-Constrained Environments
di: Adabara, Ibrahim, et al.
Pubblicazione: (2025)

Safety, Security, and Cognitive Risks in World Models
di: Parmar, Manoj
Pubblicazione: (2026)

Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference
di: Anchuri, Pranay, et al.
Pubblicazione: (2026)

Cross-Domain Malware Detection via Probability-Level Fusion of Lightweight Gradient Boosting Models
di: Mohamed, Omar Khalid Ali
Pubblicazione: (2025)

BreakFun: Jailbreaking LLMs via Schema Exploitation
di: Oskooei, Amirkia Rafiei, et al.
Pubblicazione: (2025)

Clone What You Can't Steal: Black-Box LLM Replication via Logit Leakage and Distillation
di: Gharami, Kanchon, et al.
Pubblicazione: (2025)

Formal Analysis and Supply Chain Security for Agentic AI Skills
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

Federated Learning in Adversarial Environments: Testbed Design and Poisoning Resilience in Cybersecurity
di: Huang, Hao Jian, et al.
Pubblicazione: (2024)

From Statistical Disclosure Control to Fair AI: Navigating Fundamental Tradeoffs in Differential Privacy
di: Watson, Adriana
Pubblicazione: (2026)

Breaking to Build: A Threat Model of Prompt-Based Attacks for Securing LLMs
di: Hill, Brennen, et al.
Pubblicazione: (2025)

Explainable Attention-Based LSTM Framework for Early Detection of AI-Assisted Ransomware via File System Behavioral Analysis
di: Nayak, Prabhudarshi, et al.
Pubblicazione: (2026)

Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
di: Adeniya, Fatimo Adenike
Pubblicazione: (2025)

"Abuse Risks are Often Inherent to Product Features": Exploring AI Vendors' Bug Bounty and Responsible Disclosure Policies
di: Piao, Yangheran, et al.
Pubblicazione: (2025)

Sensitivity Uncertainty Alignment in Large Language Models
di: Hiremath, Prakul Sunil, et al.
Pubblicazione: (2026)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
di: Saini, Varij, et al.
Pubblicazione: (2025)

Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs
di: Gupta, Aayush
Pubblicazione: (2025)

Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
di: Akgul, Hasan, et al.
Pubblicazione: (2025)

VOLTRON: Detecting Unknown Malware Using Graph-Based Zero-Shot Learning
di: Akdeniz, M. Tahir, et al.
Pubblicazione: (2025)

DP-FedSOFIM: Differentially Private Federated Stochastic Optimization using Regularized Fisher Information Matrix
di: Nair, Sidhant, et al.
Pubblicazione: (2026)

Technical Report for the Forgotten-by-Design Project: Targeted Obfuscation for Machine Learning
di: Brännvall, Rickard, et al.
Pubblicazione: (2025)

Quantum Machine Learning for Cyber-Physical Anomaly Detection in Unmanned Aerial Vehicles: A Leakage-Free Evaluation with Proxy-Audited Feature Sets
di: Paredes, Carlos A. Durán, et al.
Pubblicazione: (2026)

On Woolhouse's Cotton-Spinning Problem
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

A Dual-Path Generative Framework for Zero-Day Fraud Detection in Banking Systems
di: Ismail, Nasim Abdirahman, et al.
Pubblicazione: (2026)

Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
di: Fei, Hongming, et al.
Pubblicazione: (2026)

How Does Machine Learning Manage Complexity?
di: Fortnow, Lance
Pubblicazione: (2026)

Enhanced Rényi Entropy-Based Post-Quantum Key Agreement with Provable Security and Information-Theoretic Guarantees
di: Xu, Ruopengyu, et al.
Pubblicazione: (2025)

Multi-Agent Honeypot-Based Request-Response Context Dataset for Improved SQL Injection Detection Performance
di: Yu, Hao, et al.
Pubblicazione: (2026)