- remains a daunting task to date
- its result is still far from satisfactory
- Although it is crucial to rigorously verify and test such cryptographic designs, real-world TrustZone implementations received relatively little attention in the literature.
- meticulous manual investigations 一丝不苟的人工调查
- to the best of our knowledge
- Figuee 1 depicts the workflow of xxx. 描述、描绘
- We also envision using β for specific CFG nodes (i.e., nodes with indirect function calls) to further mitigate the effects of imprecise CFGs on centrality. 预想，设想