research
∙
07/22/2023
Verifiable Sustainability in Data Centers
Sustainability is crucial for combating climate change and protecting ou...
share
research
∙
08/21/2022
Privacy-Preserving Protocols for Smart Cameras and Other IoT Devices
Millions of consumers depend on smart camera systems to remotely monitor...
research
∙
01/23/2022
Building a Privacy-Preserving Smart Camera System
Millions of consumers depend on smart camera systems to remotely monitor...
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