Skip to main content
Extensions of Dynamic Programming, Machine Learning, Discrete Optimization
TREES
Extensions of Dynamic Programming, Machine Learning, Discrete Optimization
Main navigation
Home
People
All Profiles
Principal Investigators
Postdoctoral Fellows
Students
Alumni
Former Members
Events
All Events
Events Calendar
News
Teaching
Collaborators
Books
Contact Us
Runtime verification
A Digital Twin for cybersecurity in IoT devices
1 min read ·
Wed, Oct 26 2022
News
IoT
cybersecurity
communication networks
Runtime verification
Security decoupling in IoT communications is enforced with a Digital Twin that guarantees internal traffic isolation and immediate action if any unauthorized communication attempt is detected
