Security and Verification in Computing

20 ta ish

1. Execution-Time Authorization for AI Agents: A Formal Framework for Deterministic Governance Boundaries

   Edward Meyman

   PreprintOAOchiq kirishAccess Control and TrustZenodo (CERN European Organization for Nuclear Research)202617 iqtibos

   ABIABI:AkademIndex/2026.preprint.000013

2. Execution-Time Authorization for AI Agents: A Formal Framework for Deterministic Governance Boundaries

   Edward Meyman

   PreprintAccess Control and TrustOpen MIND20263 iqtibos

   ABIABI:AkademIndex/2026.preprint.000023

3. Authentication in Cloud Computing: Open Problems

   Zarif Khudoykulov, Abdukodir Karimov, Ravshan Abdurakhmanov +1

   MaqolaCloud Data Security Solutions20232 iqtibos

   ABIABI:AkademIndex/2023.article.002175

4. Prompt Injection Attacks in Large Language Models and AI Agent Systems: A Comprehensive Review of Vulnerabilities, Attack Vectors, and Defense Mechanisms

   Saidakhror Gulyamov, Said Saidakhrarovich Gulyamov, Andrey Rodionov +4

   MaqolaOAOchiq kirishAdversarial Robustness in Machine LearningInformation20262 iqtibos

   ABIABI:AkademIndex/2026.article.000004

5. DECISION-ORIENTED AUDITING OF ENCRYPTION AND KEY MANAGEMENT POLICIES BASED ON CONSISTENCY, STABILITY, AND RISK METRICS

   J. R Baratov, A. N Ulashev, T. T Aynakulov

   MaqolaOAOchiq kirishInformation and Cyber SecurityAdvanced Computing An International Journal20261 iqtibos

   ABIABI:AkademIndex/2026.article.003473

6. Idiosyncratic Signatures for Authenticated Execution - The TrustedFlow™ Protocol and its Application to TCP

   Mario Baldi, Y. Ofek, Moti Yung

   MaqolaAdvanced Malware Detection TechniquesInstitutional Research Information System (Università degli Studi di Trento)20030 iqtibos

   ABIABI:AkademIndex/2003.article.000154

7. The Rise of Hardware Security in Computer Architectures

   Patrick Schaumont, Paolo Montuschi

   MaqolaSecurity and Verification in ComputingComputer20180 iqtibos

   ABIABI:AkademIndex/2018.article.000366

8. Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems

   Alberto Carelli, Cataldo Basile, Alessandro Savino +2

   PreprintOAOchiq kirishCryptographic Implementations and SecurityarXiv (Cornell University)20190 iqtibos

   ABIABI:AkademIndex/2019.preprint.000041

9. Negative-mode mass spectrometric study on dc corona, ac corona and dielectric barrier discharge ionization in ambient air containing H2O2, 2,4,6-trinitrotoluene (TNT), and 1,3,5-trinitroperhydro-1,3,5-triazine (RDX)

   Satoshi Ninomiya, Shunpei Iwamoto, Dilshadbek T. Usmanov +2

   MaqolaMass Spectrometry Techniques and ApplicationsInternational Journal of Mass Spectrometry20200 iqtibos

   ABIABI:AkademIndex/2020.article.000413

10. Cloud Computing Security Challenges and Solutions

    Abdukodir Karimov, Iskandar Olimov, Khusniddin Berdiyev +2

    MaqolaCloud Data Security Solutions2021 International Conference on Information Science and Communications Technologies (ICISCT)20210 iqtibos

    ABIABI:AkademIndex/2021.article.000978

11. A Unified Multi-Layer Framework for Detecting and Mitigating Web Application Attacks in Cloud-Native Environments

    Ahmad Albattat, Kamoliddin J. Rustamov

    MaqolaOAOchiq kirishWeb Application Security VulnerabilitiesQubahan Techno Journal20220 iqtibos

    ABIABI:AkademIndex/2022.article.002761

12. Prompt Injection Detection and Mitigation with AI Multiagent NLP-based Agentic Frameworks

    Diego Gosmar, Deborah A. Dahl, Dario Gosmar

    MaqolaAdversarial Robustness in Machine Learning20250 iqtibos

    ABIABI:AkademIndex/2025.article.002705

13. Adaptive Aggregation for Distributed Industrial Control Systems Anomaly Detection

    Mirkhon Mukhammadovich Nurullaev

    MaqolaSmart Grid Security and Resilience20250 iqtibos

    ABIABI:AkademIndex/2025.article.016406

14. AZTEM: A Self-Evolving Zero-Trust Model for Adaptive Cloud Security Using AI-Driven Threat Mitigation and Quantum-Resilient Encryption

    Ikhar Avinash Khemraj, A. Buckshumiyan, Zayd Balassem +4

    MaqolaNetwork Security and Intrusion Detection20250 iqtibos

    ABIABI:AkademIndex/2025.article.018442

15. Adaptive Cognitive Defense: The Meta-Recursive Framework Paradigm for Large Language Model Security

    Edward Meyman

    PreprintOAOchiq kirishInformation and Cyber SecuritySSRN Electronic Journal20250 iqtibos

    ABIABI:AkademIndex/2025.preprint.000208

16. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    MaqolaOAOchiq kirishReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 iqtibos

    ABIABI:AkademIndex/2026.article.010213

17. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    MaqolaReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 iqtibos

    ABIABI:AkademIndex/2026.article.010216

18. Trust-Centric Mitigation of Time-Warping Adversarial Attacks in Wearable Sensor Platforms

    Rahmi Sahay, L. Lakshmi, P.V. Jayavardhana Sai +4

    MaqolaAdversarial Robustness in Machine LearningIEEE Transactions on Consumer Electronics20260 iqtibos

    ABIABI:AkademIndex/2026.article.011793

19. Detecting Common Injection-Based Vulnerabilities in Web-Applications

    Mohd Danish, Abhinav Sushil Varshney, Vivek Jangra +3

    MaqolaWeb Application Security Vulnerabilities20260 iqtibos

    ABIABI:AkademIndex/2026.article.013480

20. Decoupling Evidence from Execution: A Zero-Knowledge Runtime Authority and Dynamic Refusal Protocol for Agentic AI

    Siddiqui Jameel Ahmed

    PreprintOAOchiq kirishScientific Computing and Data ManagementZenodo (CERN European Organization for Nuclear Research)20260 iqtibos

    ABIABI:AkademIndex/2026.preprint.001254