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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Security Validation
biblio
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language
Submitted by grigby1 on Thu, 09/26/2019 - 9:24am
security
program diagnostics
program verification
pubcrawl
resilience
Resiliency
restricted control transition intermediate language
Safe Coding
safe control flow recovery
program compilers
security mechanisms
security of data
security policies
Security Validation
Semantics
software fault tolerance
source code level
Explosions
Bianry Analysis
collaboration
Computational modeling
Conferences
Control Flow Recovery
control-flow recovery
data flow analysis
data-flow analyses
automatic analysis
Formal Specification
Human behavior
Human Factors
low-level object code
Memory management
Metrics
policy-based governance
biblio
MAS: Mobile-Apps Assessment and Analysis System
Submitted by grigby1 on Wed, 02/21/2018 - 12:47pm
Mobile Applications
Trusted Computing
Taiwan government
static analysis
Security Validation
security of data
Scalability
Resiliency
resilience
pubcrawl
program diagnostics
Mobile Security
mobile computing
Mobile communication
mobile apps assessment and analysis system
Android (operating system)
Metrics
MAS
Human Factors
Human behavior
Guidelines
Government
Google Play store
Google
encryption
dynamic analysis
automatic security validation system
android encryption
Android apps
Android app
