Search results

  • CSV Spreadsheet
  • RSS Feed
(1 - 8 of 8)
An Approach Towards an Autonomic Computing Prototype Reference Architecture
Autonomous Cyber Defense: Formal Models and Applications
Cyber Agility for Attack Deterrence and Deception
Discovering Zero-day Attacks By Leveraging Cyber Threat Intelligence
Formal Techniques for Cyber Resilience: Modeling, Synthesis, and Verification
Integrating Random Linear Code Based Encryption Scheme Rlce Algorithm Into Post-quantum Openssl
Modeling Operational Performance of Urban Roads with Heterogeneous Traffic Conditions
REX: A Source-to-Source OpenMP Compiler for Productive Research of Parallel Programming