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
control algorithm
biblio
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries
Submitted by aekwall on Mon, 10/26/2020 - 10:46am
firmware binaries
critical cyber-physical IoT devices hinges
Cyber Physical System
cyber-physical execution semantic information
cyber-physical execution semantics
cyber-physical IoT control application domains
cyber-physical security flaws
domain-specific reverse engineering framework
domain-specific semantic information
dynamic selective memory protection
embedded binary code
embedded controller software binaries
embedded IoT controller software binaries
executables
Execution Semantic
control algorithm parameters
firmware vulnerability assessment
high-level algorithmic expressions
Linux kernel controllers versions
low-level binary symbolic values
memory forensics analysis
MISMO
reverse engineering outcomes
robotics
semantic-matching
state estimation algorithms
Symbolic Comparison
Symbolic Expression
targeted memory data attacks
Linux Operating System Security
Security analysis
security of data
Internet of Things
security
drones
Software
embedded systems
Linux
Resiliency
pubcrawl
composability
Metrics
Data mining
public domain software
firmware
IoT
reverse engineering
Heuristic algorithms
program verification
control engineering computing
Semantics
Software algorithms
Predictive Metrics
Binary codes
operating system kernels
algorithmic level
algorithm-level semantics
binary patching
control algorithm
biblio
A soft exosuit for patients with stroke: Feasibility study with a mobile off-board actuation unit
Submitted by el_wehby on Mon, 05/14/2018 - 2:26pm
stroke rehabilitation
mobile off-board actuation unit
paretic limb
patient rehabilitation
poststroke gait tracking
real-time gait detection
research-focused actuation unit
Robot sensing systems
Soft exosuit
medical robotics
stroke-specific design
stroke-specific exosuit
textile components
textile garments
Textiles
unilateral assistance
wearable robot
actuators
Legged locomotion
Joints
human-robot interaction
gait training
gait metrics
gait analysis
Foot
exosuit
Exoskeletons
control algorithm
community-based rehabilitation
chronic stroke population
cable driven actuators
body-worn system
assistive forces
1446464