Prateek Saxena
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
2018/02/16 by Ivica Nikolic, Aashish Kolluri, Nikolic, Ivica +7 · 2 voices · 15 citations
Computer Science · #cs.CR
- Quantitative Verification of Neural Networks And its Security\n Applications
2019/06/25 by Teodora Baluta, Baluta, Teodora, Shiqi Shen +7 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI)
- Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
2023/02/27 by Jason Zhijingcheng Yu, Conrad Watt, Yu, Jason Zhijingcheng +7 · 1 voice · 2 citations
Computer Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Operating Systems (cs.OS) #Security and Verification in Computing #cs.AR #cs.CR #cs.OS
- Scalable Quantitative Verification For Deep Neural Networks
2020/02/17 by Teodora Baluta, Baluta, Teodora, Zheng Leong Chua +5 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Model Provenance Testing for Large Language Models
2025/02/02 by Ivica Nikolić, Nikolic, Ivica, Teodora Baluta +3 · 7 citations
Computer Science · Decision Sciences · #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Data Quality and Management #FOS: Computer and information sciences #Machine Learning (cs.LG) #Scientific Computing and Data Management #Semantic Web and Ontologies
- Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks
2015/06/16 by Shweta Shinde, Shinde, Shweta, Zheng Leong Chua +5 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Security and Verification in Computing #cs.CR
- LPGNet: Link Private Graph Networks for Node Classification
2022/05/06 by Aashish Kolluri, Kolluri, Aashish, Teodora Baluta +5 · 2 citations
Computer Science · Psychology · Social Sciences · #Artificial Intelligence (cs.AI) #Cognitive Functions and Memory #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy, Security, and Data Protection #Privacy-Preserving Technologies in Data #Social and Information Networks (cs.SI)
- Attacking Byzantine Robust Aggregation in High Dimensions
2023/12/22 by Sarthak Choudhary, Aashish Kolluri, Choudhary, Sarthak +3 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
2018/07/02 by Shiqi Shen, Shen, Shiqi, Soundarya Ramesh +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Dynamic Binary Translation for SGX Enclaves
2021/03/29 by Jinhua Cui, Cui, Jinhua, Shweta Shinde +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
- User-Customizable Transpilation of Scripting Languages
2023/01/26 by Bo Wang, Wang, Bo, Kolluri, Aashish +6 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #D.2.3 #D.2.5 #D.3.0 #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research
- Epione: Lightweight Contact Tracing with Strong Privacy
2020/04/28 by Ni Trieu, Trieu, Ni, Kareem Shehata +7 · 2 citations
Computer Science · Social Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Privacy, Security, and Data Protection #Privacy-Preserving Technologies in Data