6 citations · 9 across the 9 of their papers we have counts for
3 papers · 1 filter
Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
Priscilla Kyei Danso, Mohammad Saqib Hasan, Niranjan Balasubramanian +1
Propositional Linear Temporal Logic (LTL) is a popular formalism for specifying desirable requirements and security and privacy policies for software, networks, and systems. Yet ex…
Atlas: Enabling Cross-Vendor Authentication for IoT
Sanket Goutam, Omar Chowdhury, Amir Rahmati
Cloud-mediated IoT architectures fragment authentication across vendor silos and create latency and availability bottlenecks for cross-vendor device-to-device (D2D) interactions. W…
Automatically Tightening Access Control Policies with Restricter
Ka Lok Wu, Christa Jenkins, Scott D. Stoller +1
Robust access control is a cornerstone of secure software, systems, and networks. An access control mechanism is as effective as the policy it enforces. However, authoring effectiv…