# Security and Verification in Computing

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

## Facts

| Field | Value |
| --- | --- |
| 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 | t11424 |
| Works | 18 |

## Topic papers all

Showing 15 of 18.

- [StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks](https://scholariq.org/papers/stackguard-automatic-adaptive-detection-and-prevention-of-buffer-overflow/)
- [Towards Sound Approaches to Counteract Power-Analysis Attacks](https://scholariq.org/papers/towards-sound-approaches-to-counteract-power-analysis-attacks/)
- [Security in cloud computing: Opportunities and challenges](https://scholariq.org/papers/security-in-cloud-computing-opportunities-and-challenges/)
- [Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects](https://scholariq.org/papers/efficient-flow-sensitive-interprocedural-computation-of-pointer-induced-aliases/)
- [Interprocedural pointer alias analysis](https://scholariq.org/papers/interprocedural-pointer-alias-analysis/)
- [Why nothing matters](https://scholariq.org/papers/why-nothing-matters/)
- [Virtualizing mixed-criticality systems: A survey on industrial trends and issues](https://scholariq.org/papers/virtualizing-mixed-criticality-systems-a-survey-on-industrial-trends-and-issues/)
- [OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case](https://scholariq.org/papers/openjdk-s-java-utils-collection-sort-is-broken-the-good-the-bad-and-the-worst/)
- [Black-Box Access is Insufficient for Rigorous AI Audits](https://scholariq.org/papers/black-box-access-is-insufficient-for-rigorous-ai-audits/)
- [Runtime Verification of k-Safety Hyperproperties in HyperLTL](https://scholariq.org/papers/runtime-verification-of-k-safety-hyperproperties-in-hyperltl/)
- [Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification](https://scholariq.org/papers/monitoring-hyperproperties-by-combining-static-analysis-and-runtime-verification/)
- [A novel technique to prevent SQL injection and cross-site scripting attacks using Knuth-Morris-Pratt string match algorithm](https://scholariq.org/papers/a-novel-technique-to-prevent-sql-injection-and-cross-site-scripting-attacks/)
- [The Complexity of Monitoring Hyperproperties](https://scholariq.org/papers/the-complexity-of-monitoring-hyperproperties/)
- [Security Testing of Web Applications: Issues and Challenges](https://scholariq.org/papers/security-testing-of-web-applications-issues-and-challenges/)
- [CSES: Cuckoo Search Based Exploratory Scale to Defend Input-Type Validation Vulnerabilities of HTTP Requests](https://scholariq.org/papers/cses-cuckoo-search-based-exploratory-scale-to-defend-input-type-validation/)

## Topic primary papers

- [StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks](https://scholariq.org/papers/stackguard-automatic-adaptive-detection-and-prevention-of-buffer-overflow/)
- [Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects](https://scholariq.org/papers/efficient-flow-sensitive-interprocedural-computation-of-pointer-induced-aliases/)
- [Interprocedural pointer alias analysis](https://scholariq.org/papers/interprocedural-pointer-alias-analysis/)
- [Why nothing matters](https://scholariq.org/papers/why-nothing-matters/)
- [Runtime Verification of k-Safety Hyperproperties in HyperLTL](https://scholariq.org/papers/runtime-verification-of-k-safety-hyperproperties-in-hyperltl/)
- [Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification](https://scholariq.org/papers/monitoring-hyperproperties-by-combining-static-analysis-and-runtime-verification/)
- [Zero Trust Architecture for Mitigating Data Leakage in Cloud Computing](https://scholariq.org/papers/zero-trust-architecture-for-mitigating-data-leakage-in-cloud-computing/)
- [The application of improved-DAA for the vehicle network node security in single- and multi-trusted domain](https://scholariq.org/papers/the-application-of-improved-daa-for-the-vehicle-network-node-security-in-single/)

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