Security and Verification in Computing
Security and Verification in Computing is a topic indexed in PICO Portal from OpenAlex.
What is known about Security and Verification in Computing?
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.
How many works does Security and Verification in Computing have?
Security and Verification in Computing has 44,148 works in the PICO Portal index. The count is the OpenAlex total, not the number of papers listed on this page.
How many citations does Security and Verification in Computing have?
Security and Verification in Computing has 460,865 citations in the OpenAlex counts PICO Portal stores.
What is the OpenAlex record for Security and Verification in Computing?
The OpenAlex for Security and Verification in Computing is on the source record.