Author:
Eldib Hassan,Wang Chao,Taha Mostafa,Schaumont Patrick
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions;IEEE Transactions on Software Engineering;2023
2. Cache Refinement Type for Side-Channel Detection of Cryptographic Software;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
3. Symbolic Predictive Cache Analysis for Out-of-Order Execution;Fundamental Approaches to Software Engineering;2022
4. Sensor network hardware security;THE 9TH INTERNATIONAL CONFERENCE OF THE INDONESIAN CHEMICAL SOCIETY ICICS 2021: Toward a Meaningful Society;2022
5. Formal verification of masking countermeasures for arithmetic programs;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21