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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
source code level
biblio
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
automatic analysis
Bianry Analysis
collaboration
Computational modeling
Conferences
Control Flow Recovery
control-flow recovery
data flow analysis
data-flow analyses
Explosions
Formal Specification
Human behavior
Human Factors
low-level object code
Memory management
Metrics
policy-based governance
program compilers
program diagnostics
program verification
pubcrawl
resilience
Resiliency
restricted control transition intermediate language
Safe Coding
safe control flow recovery
security
security mechanisms
security of data
security policies
Security Validation
Semantics
software fault tolerance
source code level