1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2023★ 4 cited
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid +8
In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural…
cs.CR2022★ 1 cited
Privacy-Preserving Protocols for Smart Cameras and Other IoT Devices
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…