Yasser Shoukry

Citat de

	Toate	Din 2020
Referințe bibliografice	3293	2162
h-index	27	22
i10-index	43	38

460

230

115

345

201320142015201620172018201920202021202220232024202520 38 64 103 194 301 357 417 406 419 454 424 41

Acces public

Afișați-le pe toate

46 de articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAAdresă de e-mail confirmată pe ee.ucla.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
Pierluigi NuzzoEECS Department, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
Mani SrivastavaProfessor of Electrical & Computer Engineering, and Professor of Computer Science, UCLAAdresă de e-mail confirmată pe ucla.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
Suhas DiggaviUCLAAdresă de e-mail confirmată pe ee.ucla.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
Haitham KhedrMeta, FAIRAdresă de e-mail confirmată pe meta.com
SHAUNAK MISHRAApplied Science Manager, Generative AI + Ads @ AmazonAdresă de e-mail confirmată pe ucla.edu
Alberto PuggelliPh.D., Apple Inc.Adresă de e-mail confirmată pe eecs.berkeley.edu
Yair YonaAppleAdresă de e-mail confirmată pe apple.com
Nikhil KaramchandaniIIT BombayAdresă de e-mail confirmată pe ee.iitb.ac.in
Indranil SahaAssociate Professor at Indian Institute of Technology KanpurAdresă de e-mail confirmată pe cse.iitk.ac.in
Ayca BalkanUniversity of California, Los AngelesAdresă de e-mail confirmată pe ucla.edu
Rupak MajumdarMPI for Software SystemsAdresă de e-mail confirmată pe mpi-sws.org
Konstantinos GatsisVillanova UniversityAdresă de e-mail confirmată pe villanova.edu
Mohamed Watheq EL-KHARASHIAdresă de e-mail confirmată pe eng.asu.edu.eg
Supriyo ChakrabortyDistinguished Applied Researcher, AI Foundations, Capital OneAdresă de e-mail confirmată pe capitalone.com
Sina Yamac CaliskanUniversity of California, Los AngelesAdresă de e-mail confirmată pe ucla.edu
Michelle ChongAssistant Professor at Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl

Urmăriți

Yasser Shoukry

University of California, Irvine

Adresă de e-mail confirmată pe uci.edu - Pagina de pornire

Cyber-Physical Systems Formal Methods Robotics Learning-based control


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	342	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	332	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	221	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	159	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	139	2018
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	123	2016
{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	115	2014
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	97	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	68	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	68	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	68	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	43	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
Securing state reconstruction under sensor and actuator attacks: Theory and design M Showkatbakhsh, Y Shoukry, SN Diggavi, P Tabuada Automatica 116, 108920, 2020	38	2020

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori