Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API

Security and Verification in Computing

20 ta ish

  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 iqtibos
    ABI

  2. Authentication in Cloud Computing: Open Problems

    Zarif Khudoykulov, Abdukodir Karimov, Ravshan Abdurakhmanov +1

    MaqolaCloud Data Security Solutions20232 iqtibos
    ABI

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

    Edward Meyman

    PreprintAccess Control and TrustOpen MIND20262 iqtibos
    ABI

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

  5. The Rise of Hardware Security in Computer Architectures

    Patrick Schaumont, Paolo Montuschi

    MaqolaSecurity and Verification in ComputingComputer20180 iqtibos
    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 iqtibos
    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

    MaqolaMass Spectrometry Techniques and ApplicationsInternational Journal of Mass Spectrometry20200 iqtibos
    ABI

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

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

    Ahmad Albattat, Kamoliddin J. Rustamov

    MaqolaWeb Application Security VulnerabilitiesQubahan Techno Journal20220 iqtibos
    ABI

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

  11. Adaptive Aggregation for Distributed Industrial Control Systems Anomaly Detection

    Mirkhon Mukhammadovich Nurullaev

    MaqolaSmart Grid Security and Resilience20250 iqtibos
    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

    MaqolaNetwork Security and Intrusion Detection20250 iqtibos
    ABI

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

    Edward Meyman

    PreprintInformation and Cyber SecuritySSRN Electronic Journal20250 iqtibos
    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

    MaqolaAdversarial Robustness in Machine LearningInformation20260 iqtibos
    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

    MaqolaInformation and Cyber SecurityAdvanced Computing An International Journal20260 iqtibos
    ABI

  16. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

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

  17. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

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

  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
    ABI

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

    Mohd Danish, Abhinav Sushil Varshney, Vivek Jangra +3

    MaqolaWeb Application Security Vulnerabilities20260 iqtibos
    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 iqtibos
    ABI