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
2102015
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
1822015
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
1782013
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
932015
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
852014
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
842018
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
812016
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
582016
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
412019
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
402015
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
402015
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
382017
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
352013
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
342017
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
282017
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
262016
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
252018
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
252015
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
252014
Input-output robustness for discrete systems
P Tabuada, A Balkan, SY Caliskan, Y Shoukry, R Majumdar
Proceedings of the tenth ACM international conference on Embedded software …, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20