| Event-triggered state observers for sparse sensor noise/attacks Y Shoukry, P Tabuada IEEE Transactions on Automatic Control 61 (8), 2079-2091, 2015 | 422 | 2015 |
| Non-invasive spoofing attacks for anti-lock braking systems Y Shoukry, P Martin, P Tabuada, M Srivastava Cryptographic Hardware and Embedded Systems-CHES 2013: 15th International …, 2013 | 345 | 2013 |
| Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ... arXiv preprint arXiv:1412.4324, 2015 | 327 | 2015 |
| Pycra: Physical challenge-response authentication for active sensors under spoofing attacks Y Shoukry, P Martin, Y Yona, S Diggavi, M Srivastava Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015 | 218 | 2015 |
| Formal verification of neural network controlled autonomous systems X Sun, H Khedr, Y Shoukry Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 176 | 2019 |
| Secure state estimation against sensor attacks in the presence of noise S Mishra, Y Shoukry, N Karamchandani, SN Diggavi, P Tabuada IEEE Transactions on Control of Network Systems 4 (1), 49-59, 2016 | 160 | 2016 |
| SMT-based observer design for cyber-physical systems under sensor attacks Y Shoukry, M Chong, M Wakaiki, P Nuzzo, A Sangiovanni-Vincentelli, ... ACM Transactions on Cyber-Physical Systems 2 (1), 1-27, 2018 | 140 | 2018 |
| Privacy-aware quadratic optimization using partially homomorphic encryption Y Shoukry, K Gatsis, A Alanwar, GJ Pappas, SA Seshia, M Srivastava, ... 2016 IEEE 55th Conference on Decision and Control (CDC), 5053-5058, 2016 | 120 | 2016 |
| {ipShield}: A Framework For Enforcing {Context-Aware} Privacy S Chakraborty, C Shen, KR Raghavan, Y Shoukry, M Millar, M Srivastava 11th USENIX symposium on networked systems design and implementation (NSDI …, 2014 | 117 | 2014 |
| Cloud-based quadratic optimization with partially homomorphic encryption AB Alexandru, K Gatsis, Y Shoukry, SA Seshia, P Tabuada, GJ Pappas IEEE Transactions on Automatic Control 66 (5), 2357-2364, 2020 | 99 | 2020 |
| SMC: Satisfiability modulo convex programming Y Shoukry, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, GJ Pappas, ... Proceedings of the IEEE 106 (9), 1655-1679, 2018 | 70 | 2018 |
| Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ... 2017 IEEE 56th annual conference on decision and control (CDC), 1132-1137, 2017 | 70 | 2017 |
| SMC: Satisfiability modulo convex optimization Y Shoukry, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, GJ Pappas, ... Proceedings of the 20th international conference on hybrid systems …, 2017 | 66 | 2017 |
| PrOLoc: Resilient localization with private observers using partial homomorphic encryption A Alanwar, Y Shoukry, S Chakraborty, P Martin, P Tabuada, M Srivastava Proceedings of the 16th ACM/IEEE International Conference on Information …, 2017 | 62 | 2017 |
| Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise S Mishra, Y Shoukry, N Karamchandani, S Diggavi, P Tabuada 2015 IEEE international symposium on information theory (ISIT), 2929-2933, 2015 | 55 | 2015 |
| Minimax control for cyber-physical systems under network packet scheduling attacks Y Shoukry, J Araujo, P Tabuada, M Srivastava, KH Johansson Proceedings of the 2nd ACM international conference on High confidence …, 2013 | 52 | 2013 |
| Scalable lazy SMT-based motion planning Y Shoukry, P Nuzzo, I Saha, AL Sangiovanni-Vincentelli, SA Seshia, ... 2016 IEEE 55th Conference on Decision and Control (CDC), 6683-6688, 2016 | 47 | 2016 |
| Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving Y Shoukry, P Nuzzo, N Bezzo, AL Sangiovanni-Vincentelli, SA Seshia, ... 2015 54th IEEE conference on decision and control (CDC), 3804-3809, 2015 | 42 | 2015 |
| Sound and complete state estimation for linear dynamical systems under sensor attacks using satisfiability modulo theory solving Y Shoukry, A Puggelli, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, ... 2015 American Control Conference (ACC), 3818-3823, 2015 | 42 | 2015 |
| Shieldnn: A provably safe nn filter for unsafe nn controllers J Ferlez, M Elnaggar, Y Shoukry, C Fleming arXiv preprint arXiv:2006.09564, 2020 | 38 | 2020 |
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAEmail verificata su ee.ucla.edu