7 citations · 19 across the 9 of their papers we have counts for
10 papers
A Deterministic and Auditable AI Security Risk Assessment Framework with ATLAS Aligned Executable Rules and Formal Verification
Yixuan Huang, Basel Halak, Boojoong Kang
Artificial intelligence systems are increasingly deployed in high impact and safety critical settings, yet security assessment remains difficult to reproduce and defend under audit…
A Security Assessment tool for Quantum Threat Analysis
Basel Halak, Cristian Sebastian Csete, Edward Joyce +5
The rapid advancement of quantum computing poses a significant threat to many current security algorithms used for secure communication, digital authentication, and information enc…
SEA Cache: A Performance-Efficient Countermeasure for Contention-based Attacks
Xiao Liu, Mark Zwolinski, Basel Halak
Many cache designs have been proposed to guard against contention-based side-channel attacks. One well-known type of cache is the randomized remapping cache. Many randomized remapp…
DL2Fence: Integrating Deep Learning and Frame Fusion for Enhanced Detection and Localization of Refined Denial-of-Service in Large-Scale NoCs
Haoyu Wang, Basel Halak, Jianjie Ren +1
This study introduces a refined Flooding Injection Rate-adjustable Denial-of-Service (DoS) model for Network-on-Chips (NoCs) and more importantly presents DL2Fence, a novel framewo…
Software supply chain: review of attacks, risk assessment strategies and security controls
Betul Gokkaya, Leonardo Aniello, Basel Halak
The software product is a source of cyber-attacks that target organizations by using their software supply chain as a distribution vector. As the reliance of software projects on o…
A Tutorial on Adversarial Learning Attacks and Countermeasures
Cato Pauling, Michael Gimson, Muhammed Qaid +2
Machine learning algorithms are used to construct a mathematical model for a system based on training data. Such a model is capable of making highly accurate predictions without be…