# Security and Verification in Computing

{
  "id": "T11424",
  "title": "Security and Verification in Computing",
  "url": "/topics/T11424",
  "kind": "topic-directory",
  "aeo_cohort": "topic-directory",
  "provider": "openalex",
  "revision": "55215b138a2e39ca",
  "catalogue_revision": "f050b5d4780b1289",
  "numeric_address": "36183006758700115",
  "address_version": "morton4x16-v1",
  "coordinates": [
    3,
    17,
    1702,
    11424
  ],
  "answer_status": "Directory metadata; local answer requires separate source review",
  "truth_status": "Subject descriptor, not a factual answer or a demonstrated knowledge gap"
}

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.

Directory metadata is not a factual answer or evidence of a global knowledge gap.

Source: https://openalex.org/T11424

No owner-reviewed local answer yet.