Channelizer: Explainable ML Inference for Validating Side-Channel Resistant Systems. - Donayam Benti; Todd M. Austin (SEED, 2024)

DOME: Automated Validation of Data-Oblivious Program Execution. - Donayam Benti; Todd M. Austin (HOST, 2025)