# 评价

# 评价现状、结果不佳

• 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

# 单词表达

1. Figuee 1 depicts the workflow of xxx. 描述、描绘
2. 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. 预想，设想