Yasser Shoukry

Geciteerd door

	Alles	Sinds 2019
Citaties	3238	2463
h-index	27	24
i10-index	42	40

460

230

115

345

20132014201520162017201820192020202120222023202420 38 64 103 194 299 360 418 408 419 460 397

Openbare toegang

Alles bekijken

44 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAGeverifieerd e-mailadres voor ee.ucla.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Pierluigi NuzzoEECS Department, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Mani SrivastavaProfessor of Electrical & Computer Engineering, and Professor of Computer Science, UCLAGeverifieerd e-mailadres voor ucla.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Suhas DiggaviUCLAGeverifieerd e-mailadres voor ee.ucla.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaGeverifieerd e-mailadres voor seas.upenn.edu
Haitham KhedrMeta, FAIRGeverifieerd e-mailadres voor meta.com
SHAUNAK MISHRAApplied Science Manager, Generative AI + Ads @ AmazonGeverifieerd e-mailadres voor ucla.edu
Alberto PuggelliPh.D., Apple Inc.Geverifieerd e-mailadres voor eecs.berkeley.edu
Yair YonaAppleGeverifieerd e-mailadres voor apple.com
Indranil SahaAssociate Professor at Indian Institute of Technology KanpurGeverifieerd e-mailadres voor cse.iitk.ac.in
Nikhil KaramchandaniIIT BombayGeverifieerd e-mailadres voor ee.iitb.ac.in
Ayca BalkanUniversity of California, Los AngelesGeverifieerd e-mailadres voor ucla.edu
Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
Mohamed Watheq EL-KHARASHIGeverifieerd e-mailadres voor eng.asu.edu.eg
Konstantinos GatsisLecturer, School of Electronics and Computer Science, University of SouthamptonGeverifieerd e-mailadres voor soton.ac.uk
Supriyo ChakrabortyDistinguished Applied Researcher, AI Foundations, Capital OneGeverifieerd e-mailadres voor capitalone.com
Sina Yamac CaliskanUniversity of California, Los AngelesGeverifieerd e-mailadres voor ucla.edu
Michelle ChongAssistant Professor at Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl

Volgen

Yasser Shoukry

University of California, Irvine

Geverifieerd e-mailadres voor uci.edu - Homepage

Cyber-Physical Systems Formal Methods Robotics Learning-based control


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Event-triggered state observers for sparse sensor noise/attacks Y Shoukry, P Tabuada IEEE Transactions on Automatic Control 61 (8), 2079-2091, 2015	420	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	337	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	326	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	214	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	174	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	153	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	138	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	113	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	95	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	69	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	37	2020

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs