Wong, David

1. SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
   2024/02/23 by Stefanos Chaliasos, Jens Ernstberger, Chaliasos, Stefanos +9 · 7 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection
2. Applications of Successive Convexification in Autonomous VehiclePlanning and Control
   2020/10/13 by Ali Boyali, Simon Thompson, Boyali, Ali +4 · 1 citation
   Computer Science · Engineering · Mathematics · #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Robotic Path Planning Algorithms #Vehicle Dynamics and Control Systems #math.OC