Sotabase

Career

· Assoc. Prof., UCI

Publications (88)

Event-Triggered State Observers for Sparse Sensor Noise/Attacks
IEEE Transactions on Automatic Control · 2013
387
cited
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
IEEE Transactions on Automatic Control · 2014
281
cited
Non-invasive Spoofing Attacks for Anti-lock Braking Systems
Workshop on Cryptographic Hardware and Embedded Systems · 2013
274
cited
PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks
Conference on Computer and Communications Security · 2015
169
cited
Formal verification of neural network controlled autonomous systems
International Conference on Hybrid Systems: Computation and Control · 2018
148
cited
Secure State Estimation Against Sensor Attacks in the Presence of Noise
IEEE Transactions on Control of Network Systems · 2015
138
cited
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks
International Conference on Cyber-Physical Systems · 2016
114
cited
Privacy-aware quadratic optimization using partially homomorphic encryption
IEEE Conference on Decision and Control · 2016
100
cited
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
IEEE Transactions on Automatic Control · 2018
82
cited
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
IEEE Conference on Decision and Control · 2017
59
cited
PrOLoc: Resilient Localization with Private Observers Using Partial Homomorphic Encryption
International Symposium on Information Processing in Sensor Networks · 2017
58
cited
SMC: Satisfiability Modulo Convex Optimization
International Conference on Hybrid Systems: Computation and Control · 2017
55
cited
SMC: Satisfiability Modulo Convex Programming
Proceedings of the IEEE · 2018
49
cited
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise
International Symposium on Information Theory · 2015
47
cited
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
NASA Formal Methods · 2022
41
cited
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving
American Control Conference · 2015
39
cited
Minimax control for cyber-physical systems under network packet scheduling attacks
International Conference on High Confidence Networked Systems · 2013
36
cited
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
American Control Conference · 2020
36
cited
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving
IEEE Conference on Decision and Control · 2015
34
cited
Scalable lazy SMT-based motion planning
IEEE Conference on Decision and Control · 2016
33
cited
Sotabase
Yasser Shoukry | Researcher Profile | Sotabase | Sotabase