1. Domain Isolation and Access Control in Multi-tenant Cloud FPGAs;Security of FPGA-Accelerated Cloud Computing Environments;2023-09-18
2. Malware Identification in Advanced Interconnects on SOC;2022 International Virtual Conference on Power Engineering Computing and Control: Developments in Electric Vehicles and Energy Sector for Sustainable Future (PECCON);2022-05-05
3. A Survey on Assertion-based Hardware Verification;ACM Computing Surveys;2022-01-31
4. Vacuity in practice: temporal antecedent failure;Formal Methods in System Design;2015-01-29
5. From Sequential Extended Regular Expressions to NFA with Symbolic Labels;Implementation and Application of Automata;2011