Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseОткрытый API экосистемы

Security and Verification in Computing

Работ: 20

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

    Edward Meyman

    ПрепринтAccess Control and TrustZenodo (CERN European Organization for Nuclear Research)2026Цитирований: 5
    ABI

  2. Authentication in Cloud Computing: Open Problems

    Zarif Khudoykulov, Abdukodir Karimov, Ravshan Abdurakhmanov +1

    СтатьяCloud Data Security Solutions2023Цитирований: 2
    ABI

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

    Edward Meyman

    ПрепринтAccess Control and TrustOpen MIND2026Цитирований: 2
    ABI

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

    Mario Baldi, Y. Ofek, Moti Yung

    СтатьяAdvanced Malware Detection TechniquesInstitutional Research Information System (Università degli Studi di Trento)2003Цитирований: 0
    ABI

  5. The Rise of Hardware Security in Computer Architectures

    Patrick Schaumont, Paolo Montuschi

    СтатьяSecurity and Verification in ComputingComputer2018Цитирований: 0
    ABI

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

    Alberto Carelli, Cataldo Basile, Alessandro Savino +2

    ПрепринтCryptographic Implementations and SecurityarXiv (Cornell University)2019Цитирований: 0
    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

    СтатьяMass Spectrometry Techniques and ApplicationsInternational Journal of Mass Spectrometry2020Цитирований: 0
    ABI

  8. Cloud Computing Security Challenges and Solutions

    Abdukodir Karimov, Iskandar Olimov, Khusniddin Berdiyev +2

    СтатьяCloud Data Security Solutions2021 International Conference on Information Science and Communications Technologies (ICISCT)2021Цитирований: 0
    ABI

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

    Ahmad Albattat, Kamoliddin J. Rustamov

    СтатьяWeb Application Security VulnerabilitiesQubahan Techno Journal2022Цитирований: 0
    ABI

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

    Diego Gosmar, Deborah A. Dahl, Dario Gosmar

    СтатьяAdversarial Robustness in Machine Learning2025Цитирований: 0
    ABI

  11. Adaptive Aggregation for Distributed Industrial Control Systems Anomaly Detection

    Mirkhon Mukhammadovich Nurullaev

    СтатьяSmart Grid Security and Resilience2025Цитирований: 0
    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

    СтатьяNetwork Security and Intrusion Detection2025Цитирований: 0
    ABI

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

    Edward Meyman

    ПрепринтInformation and Cyber SecuritySSRN Electronic Journal2025Цитирований: 0
    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

    СтатьяAdversarial Robustness in Machine LearningInformation2026Цитирований: 0
    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

    СтатьяInformation and Cyber SecurityAdvanced Computing An International Journal2026Цитирований: 0
    ABI

  16. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    СтатьяReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)2026Цитирований: 0
    ABI

  17. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    СтатьяReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)2026Цитирований: 0
    ABI

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

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

    СтатьяAdversarial Robustness in Machine LearningIEEE Transactions on Consumer Electronics2026Цитирований: 0
    ABI

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

    Mohd Danish, Abhinav Sushil Varshney, Vivek Jangra +3

    СтатьяWeb Application Security Vulnerabilities2026Цитирований: 0
    ABI

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

    Siddiqui Jameel Ahmed

    ПрепринтScientific Computing and Data ManagementZenodo (CERN European Organization for Nuclear Research)2026Цитирований: 0
    ABI