Yasser Shoukry

Citée par

	Toutes	Depuis 2019
Citations	3163	2393
indice h	26	23
indice i10	41	38

460

230

115

345

20132014201520162017201820192020202120222023202420 38 66 102 193 299 358 416 406 421 454 337

Accès public

Tout afficher

42 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAAdresse e-mail validée de ee.ucla.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Pierluigi NuzzoEECS Department, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Mani SrivastavaProfessor of Electrical & Computer Engineering, and Professor of Computer Science, UCLAAdresse e-mail validée de ucla.edu
Suhas DiggaviUCLAAdresse e-mail validée de ee.ucla.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Haitham KhedrMeta, FAIRAdresse e-mail validée de meta.com
SHAUNAK MISHRAApplied Science Manager, Generative AI + Ads @ AmazonAdresse e-mail validée de ucla.edu
Alberto PuggelliPh.D., Apple Inc.Adresse e-mail validée de eecs.berkeley.edu
Yair YonaAppleAdresse e-mail validée de apple.com
Indranil SahaAssociate Professor at Indian Institute of Technology KanpurAdresse e-mail validée de cse.iitk.ac.in
Nikhil KaramchandaniIIT BombayAdresse e-mail validée de ee.iitb.ac.in
Ayca BalkanUniversity of California, Los AngelesAdresse e-mail validée de ucla.edu
Rupak MajumdarMPI for Software SystemsAdresse e-mail validée de mpi-sws.org
Mohamed Watheq EL-KHARASHIAdresse e-mail validée de eng.asu.edu.eg
Konstantinos GatsisLecturer, School of Electronics and Computer Science, University of SouthamptonAdresse e-mail validée de soton.ac.uk
Supriyo ChakrabortyDistinguished Applied Researcher, AI Foundations, Capital OneAdresse e-mail validée de capitalone.com
Sina Yamac CaliskanUniversity of California, Los AngelesAdresse e-mail validée de ucla.edu
Michelle ChongAssistant Professor at Eindhoven University of TechnologyAdresse e-mail validée de tue.nl

Suivre

Yasser Shoukry

University of California, Irvine

Adresse e-mail validée de uci.edu - Page d'accueil

Cyber-Physical Systems Formal Methods Robotics Learning-based control


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Event-triggered state observers for sparse sensor noise/attacks Y Shoukry, P Tabuada IEEE Transactions on Automatic Control 61 (8), 2079-2091, 2015	415	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	332	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	325	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	213	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	165	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	150	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	137	2018
{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	116	2014
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	109	2016
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	92	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	69	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	67	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
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
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	41	2015
Securing state reconstruction under sensor and actuator attacks: Theory and design M Showkatbakhsh, Y Shoukry, SN Diggavi, P Tabuada Automatica 116, 108920, 2020	35	2020

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs