research
∙
08/23/2023
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime
Smart homes are powered by numerous programmable IoT platforms. Despite ...
share
research
∙
02/02/2023
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime
Safety and security issues in programmable IoT systems are still a press...
research
∙
01/01/2021
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
End-user-devices in the current cellular ecosystem are prone to many dif...
research
∙
03/30/2020