Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

privilege escalation attacks

biblio

Visible to the public PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use

Submitted by aekwall on Mon, 10/26/2020 - 11:46am
  • formal verification
  • Linux Operating System Security
  • term rewriting
  • ROSA model checker
  • privileged open source programs
  • privilege escalation attacks
  • PrivAnalyzer
  • LLVM-based C/C++ compiler
  • Linux privileges
  • Linux privilege use
  • ChronoPriv
  • AutoPriv
  • operating systems
  • dynamic analysis
  • verification
  • static analysis
  • security
  • program compilers
  • Predictive Metrics
  • program diagnostics
  • Containers
  • Analytical models
  • tools
  • Metrics
  • composability
  • pubcrawl
  • Resiliency
  • Linux
  • Program processors
  • Access Control
  • security of data

Terms of Use  |  ©2023. CPS-VO