Асосий контентга ўтиш
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)20265 иқтибос
    ABI

  2. Authentication in Cloud Computing: Open Problems

    Zarif Khudoykulov, Abdukodir Karimov, Ravshan Abdurakhmanov +1

    МақолаCloud Data Security Solutions20232 иқтибос
    ABI

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

    Edward Meyman

    ПрепринтAccess Control and TrustOpen MIND20262 иқтибос
    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)20030 иқтибос
    ABI

  5. The Rise of Hardware Security in Computer Architectures

    Patrick Schaumont, Paolo Montuschi

    МақолаSecurity and Verification in ComputingComputer20180 иқтибос
    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)20190 иқтибос
    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 Spectrometry20200 иқтибос
    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)20210 иқтибос
    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 Journal20220 иқтибос
    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 Learning20250 иқтибос
    ABI

  11. Adaptive Aggregation for Distributed Industrial Control Systems Anomaly Detection

    Mirkhon Mukhammadovich Nurullaev

    МақолаSmart Grid Security and Resilience20250 иқтибос
    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 Detection20250 иқтибос
    ABI

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

    Edward Meyman

    ПрепринтInformation and Cyber SecuritySSRN Electronic Journal20250 иқтибос
    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 LearningInformation20260 иқтибос
    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 Journal20260 иқтибос
    ABI

  16. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    МақолаReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 иқтибос
    ABI

  17. Runtime Semantics and Failure Classification for Human Stability

    Ngoc Truc Nguyen

    МақолаReal-Time Systems SchedulingZenodo (CERN European Organization for Nuclear Research)20260 иқтибос
    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 Electronics20260 иқтибос
    ABI

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

    Mohd Danish, Abhinav Sushil Varshney, Vivek Jangra +3

    МақолаWeb Application Security Vulnerabilities20260 иқтибос
    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)20260 иқтибос
    ABI