Topic · Artificial Intelligence
Security and Verification in Computing
Security and Verification in Computing is a research topic within Artificial Intelligence. Science Explorer counts 20k research works in it since 1958. 9.8% of them reached the world's top 10% most cited for their field and year.
This cluster of papers focuses on language-based information flow security, addressing topics such as enforceable security policies, control-flow integrity, side-channel attacks, dynamic taint analysis, and trusted execution environments. It also explores techniques for memory protection, virtualization, software diversity, and hardware security.
- Security Policies
- Side-Channel Attacks
- Control-Flow Integrity
- Memory Protection
- Virtualization
- Cache Attacks
- Dynamic Taint Analysis
- Trusted Execution Environment
- Software Diversity
- Hardware Security
- Research works
- 20k fractional, since 1958
- In the world top 10%
- 2k per year above
- Top-10% rate
- 9.8% share of its works in the world top 10%
- Growth, 2018-21 → 2022-25
- +13% the tick is no change
- Largest producer
United States
32% of the 10 largest, 2022-now
Drawing this view