4 papers
Verifiable Sustainability in Data Centers
Syed Rafiul Hussain, Patrick McDaniel, Anshul Gandhi +7
Data centers have significant energy needs, both embodied and operational, affecting sustainability adversely. The current techniques and tools for collecting, aggregating, and rep…
Building a Privacy-Preserving Smart Camera System
Yohan Beugin, Quinn Burke, Blaine Hoak +5
Millions of consumers depend on smart camera systems to remotely monitor their homes and businesses. However, the architecture and design of popular commercial systems require user…
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang +3
End-user-devices in the current cellular ecosystem are prone to many different vulnerabilities across different generations and protocol layers. Fixing these vulnerabilities retros…
5G Security and Privacy: A Research Roadmap
Elisa Bertino, Syed Rafiul Hussain, Omar Chowdhury
Cellular networks represent a critical infrastructure and their security is thus crucial. 5G - the latest generation of cellular networks - combines different technologies to incre…