Mooly Sagiv
- Online Detection of Effectively Callback Free Objects with Applications\n to Smart Contracts
2018/01/11 by Shelly Grossman, Ittai Abraham, Grossman, Shelly +11 · 4 citations
Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security
- Verifying Reachability in Networks with Mutable Datapaths
2016/07/04 by Aurojit Panda, Panda, Aurojit, Ori Lahav +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Network Packet Processing and Optimization #Network Security and Intrusion Detection #Networking and Internet Architecture (cs.NI) #Software-Defined Networks and 5G
- On the automated verification of web applications with embedded SQL
2016/10/06 by Shachar Itzhaky, Itzhaky, Shachar, Tomer Kotek +11 · 1 citation
Computer Science · #68P15 #68Q60 #D.3.2 #Engineering and Information Technology #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Web Application Security Vulnerabilities
- A Decidable Case of Query Determinacy: Project-Select Views
2024/11/13 by Wen Zhang, Zhang, Wen, Aurojit Panda +5 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #cs.DB
- Automating Cluster Management with Weave
2019/09/06 by Lalith Suresh, João Loff, Suresh, Lalith +17 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)