מאמרים עם הרשאות לגישה ציבורית - Yasser Shoukryלמידע נוסף
זמינים באתר כלשהו: 46
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
הרשאות: US National Science Foundation
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
הרשאות: US National Science Foundation
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Science Foundation
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Science Foundation, US National Institutes of Health
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
הרשאות: Swedish Research Council
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
הרשאות: US National Science Foundation
Securing state reconstruction under sensor and actuator attacks: Theory and design
M Showkatbakhsh, Y Shoukry, SN Diggavi, P Tabuada
Automatica 116, 108920, 2020
הרשאות: US National Science Foundation, US Department of Defense
Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing
U Santa Cruz, Y Shoukry
NASA Formal Methods Symposium, 213-230, 2022
הרשאות: US National Science Foundation
Peregrinn: Penalized-relaxation greedy neural network verifier
H Khedr, J Ferlez, Y Shoukry
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
הרשאות: US National Science Foundation
Sybil attack resilient traffic networks: A physics-based trust propagation approach
Y Shoukry, S Mishra, Z Luo, S Diggavi
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
הרשאות: US National Science Foundation
Certifair: A framework for certified global fairness of neural networks
H Khedr, Y Shoukry
Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8237-8245, 2023
הרשאות: US National Science Foundation
AReN: Assured ReLU NN architecture for model predictive control of LTI systems
J Ferlez, Y Shoukry
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
הרשאות: US National Science Foundation
Fast BATLLNN: fast box analysis of two-level lattice neural networks
J Ferlez, H Khedr, Y Shoukry
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
הרשאות: US National Science Foundation
Spycon: Adaptation based spyware in human-in-the-loop IoT
S Elmalaki, BJ Ho, M Alzantot, Y Shoukry, M Srivastava
2019 IEEE Security and Privacy Workshops (SPW), 163-168, 2019
הרשאות: US National Science Foundation, US Department of Defense
An SMT-based approach to secure state estimation under sensor and actuator attacks
M Showkatbakhsh, Y Shoukry, RH Chen, S Diggavi, P Tabuada
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 157-162, 2017
הרשאות: US National Science Foundation
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב