Yasser Shoukry
Title
Cited by
Cited by
Year
Event-triggered state observers for sparse sensor noise/attacks
Y Shoukry, P Tabuada
IEEE Transactions on Automatic Control 61 (8), 2079-2091, 2015
2442015
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
1992015
Non-invasive spoofing attacks for anti-lock braking systems
Y Shoukry, P Martin, P Tabuada, M Srivastava
International Conference on Cryptographic Hardware and Embedded Systems, 55-72, 2013
1992013
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
1092015
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
932018
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
902016
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 …, 2014
902014
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
652016
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
572019
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
442015
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
432017
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
422017
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
422015
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
372018
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
372013
PrOLoc: Resilient localization with private observers using partial homomorphic encryption
A Alanwar, Y Shoukry, S Chakraborty, P Martin, P Tabuada, M Srivastava
2017 16th ACM/IEEE International Conference on Information Processing in …, 2017
362017
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
312016
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
282020
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
272015
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks
Y Shoukry, P Tabuada
53rd IEEE Conference on Decision and Control, 3548-3553, 2014
262014
The system can't perform the operation now. Try again later.
Articles 1–20