Search for persons
X
?
2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) ,
1
Verifying Memory Confidentiality and Integrity of Intel TDX..:
, In:
?
Proceedings of the 19th ACM International Conference on Computing Frontiers ,
4
Return-oriented programming protection in the IBM POWER10:
, In:
?
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
8
ArChiVED: Architectural checking via event digests for high..:
, In:
?
Proceedings of the conference on Design, Automation & Test in Europe ,
10
ArChiVED : architectural checking via event digests for ..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
11
Hybrid checking for microarchitectural validation of microp..:
, In:
?
Proceedings of the Conference on Design, Automation and Test in Europe ,
12
On the use of GP-GPUs for accelerating compute-intensive ED..:
, In:
?
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis ,
13
SystemC simulation on GP-GPUs : CUDA vs. OpenCL:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
14
SAGA : SystemC acceleration on GPU architectures:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
15