Author:
Kwon Hyoukjun,Harris William,Esmaeilzadeh Hadi
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28
2. Solver-Aided Constant-Time Hardware Verification;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12
3. Energy Efficient and Low-Cost Server Architecture for Hadoop Storage Appliance;KSII Transactions on Internet and Information Systems;2020-12-31
4. CDCEP: Securing the Compressed Data using Certificateless Encryption in Public Clouds;2019 11th International Conference on Advanced Computing (ICoAC);2019-12
5. Relational Symbolic Execution;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07