Shweta Shinde
- Quantitative Verification of Neural Networks And its Security\n Applications
2019/06/25 by Teodora Baluta, Shiqi Shen, Baluta, Teodora +7 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI)
- Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
2024/04/30 by Christof Ferreira Torres, Torres, Christof Ferreira, Albin Mamuti +7 · 6 citations
Engineering · #Aerodynamics and Fluid Dynamics Research #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Vehicle Dynamics and Control Systems #Vehicle emissions and performance
- Heckler: Breaking Confidential VMs with Malicious Interrupts
2024/04/04 by Benedict Schlüter, Supraja Sridhara, Schlüter, Benedict +7 · 5 citations
Computer Science · #Network Security and Intrusion Detection #Security and Verification in Computing #Cloud Data Security Solutions
- It's TEEtime: A New Architecture Bringing Sovereignty to Smartphones
2022/11/09 by Friederike Groschupp, Mark Kuhne, Groschupp, Friederike +9 · 1 voice
#cs.CR
- Preventing Your Faults From Telling Your Secrets: Defenses Against\n Pigeonhole Attacks
2015/06/16 by Shweta Shinde, Shinde, Shweta, Zheng Leong Chua +5 · 2 citations
Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Cryptographic Implementations and Security
- Keystone: An Open Framework for Architecting TEEs
2019/07/23 by Dayeol Lee, David Kohlbrenner, Lee, Dayeol +7 · 2 citations
Computer Science · Decision Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Operating Systems (cs.OS) #Scientific Computing and Data Management #Security and Verification in Computing