# Security and Verification in Computing

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/security-and-verification-in-computing-2/

## Facts

| Field | Value |
| --- | --- |
| Citations | 460,865 |
| Description | 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. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | https://openalex.org/T11424 |
| Works | 44,148 |

## Topic researchers

Showing 12 of 20.

- [Matthew J. Page](https://scholariq.org/researchers/matthew-j-page/)
- [Xuemin Shen](https://scholariq.org/researchers/xuemin-shen/)
- [Ion Stoica](https://scholariq.org/researchers/ion-stoica/)
- [Hari Balakrishnan](https://scholariq.org/researchers/hari-balakrishnan/)
- [David Zhang](https://scholariq.org/researchers/david-zhang/)
- [Ian Goodfellow](https://scholariq.org/researchers/ian-goodfellow/)
- [Dan Boneh](https://scholariq.org/researchers/dan-boneh/)
- [M. Steinke](https://scholariq.org/researchers/m-steinke/)
- [Adi Shamir](https://scholariq.org/researchers/adi-shamir/)
- [Qing‐Long Han](https://scholariq.org/researchers/qing-long-han/)
- [Kim‐Kwang Raymond Choo](https://scholariq.org/researchers/kim-kwang-raymond-choo/)
- [Dawn Song](https://scholariq.org/researchers/dawn-song/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.