Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem

Security and Verification in Computing

20 works

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

    Edward Meyman

    PreprintAccess Control and TrustZenodo (CERN European Organization for Nuclear Research)20265 citations
    ABI

  2. Authentication in Cloud Computing: Open Problems

    Zarif Khudoykulov, Abdukodir Karimov, Ravshan Abdurakhmanov +1

    ArticleCloud Data Security Solutions20232 citations
    ABI

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

    Edward Meyman

    PreprintAccess Control and TrustOpen MIND20262 citations
    ABI

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

    Mario Baldi, Y. Ofek, Moti Yung

    ArticleAdvanced Malware Detection TechniquesInstitutional Research Information System (Università degli Studi di Trento)20030 citations
    ABI

  5. The Rise of Hardware Security in Computer Architectures

    Patrick Schaumont, Paolo Montuschi

    ArticleSecurity and Verification in ComputingComputer20180 citations
    ABI

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

    Alberto Carelli, Cataldo Basile, Alessandro Savino +2

    PreprintCryptographic Implementations and SecurityarXiv (Cornell University)20190 citations
    ABI

  7. 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

    ArticleMass Spectrometry Techniques and ApplicationsInternational Journal of Mass Spectrometry20200 citations
    ABI

  8. Cloud Computing Security Challenges and Solutions

    Abdukodir Karimov, Iskandar Olimov, Khusniddin Berdiyev +2

    ArticleCloud Data Security Solutions2021 International Conference on Information Science and Communications Technologies (ICISCT)20210 citations
    ABI

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

    Ahmad Albattat, Kamoliddin J. Rustamov

    ArticleWeb Application Security VulnerabilitiesQubahan Techno Journal20220 citations
    ABI

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

    Diego Gosmar, Deborah A. Dahl, Dario Gosmar

    ArticleAdversarial Robustness in Machine Learning20250 citations
    ABI

  11. Adaptive Aggregation for Distributed Industrial Control Systems Anomaly Detection

    Mirkhon Mukhammadovich Nurullaev

    ArticleSmart Grid Security and Resilience20250 citations
    ABI

  12. 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

    ArticleNetwork Security and Intrusion Detection20250 citations
    ABI

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

    Edward Meyman

    PreprintInformation and Cyber SecuritySSRN Electronic Journal20250 citations
    ABI

  14. 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

    ArticleAdversarial Robustness in Machine LearningInformation20260 citations
    ABI

  15. 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

    ArticleInformation and Cyber SecurityAdvanced Computing An International Journal20260 citations
    ABI

  16. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    ArticleReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 citations
    ABI

  17. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    ArticleReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 citations
    ABI

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

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

    ArticleAdversarial Robustness in Machine LearningIEEE Transactions on Consumer Electronics20260 citations
    ABI

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

    Mohd Danish, Abhinav Sushil Varshney, Vivek Jangra +3

    ArticleWeb Application Security Vulnerabilities20260 citations
    ABI

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

    Siddiqui Jameel Ahmed

    PreprintScientific Computing and Data ManagementZenodo (CERN European Organization for Nuclear Research)20260 citations
    ABI