Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Yasser Shoukry"
download as .bib file
@article{DBLP:journals/tecs/FatnassiS24,
author = {Wael Fatnassi and
Yasser Shoukry},
title = {PolyARBerNN: {A} Neural Network Guided Solver and Optimizer for Bounded
Polynomial Inequalities},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {23},
number = {2},
pages = {22:1--22:26},
year = {2024}
}
@article{DBLP:journals/trob/SunS24,
author = {Xiaowu Sun and
Yasser Shoukry},
title = {Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks},
journal = {{IEEE} Trans. Robotics},
volume = {40},
pages = {2749--2768},
year = {2024}
}
@inproceedings{DBLP:conf/aaai/KhedrS24,
author = {Haitham Khedr and
Yasser Shoukry},
title = {DeepBern-Nets: Taming the Complexity of Certifying Neural Networks
Using Bernstein Polynomial Activations and Precise Bound Propagation},
booktitle = {{AAAI}},
pages = {21232--21240},
publisher = {{AAAI} Press},
year = {2024}
}
@inproceedings{DBLP:conf/iccps/TsujioFS24,
author = {Kohei Tsujio and
Mohammad Abdullah Al Faruque and
Yasser Shoukry},
title = {Rampo: {A} CEGAR-based Integration of Binary Code Analysis and System
Falsification for Cyber-Kinetic Vulnerability Detection},
booktitle = {{ICCPS}},
pages = {45--54},
publisher = {{IEEE}},
year = {2024}
}
@article{DBLP:journals/corr/abs-2402-12642,
author = {Kohei Tsujio and
Mohammad Abdullah Al Faruque and
Yasser Shoukry},
title = {Rampo: {A} CEGAR-based Integration of Binary Code Analysis and System
Falsification for Cyber-Kinetic Vulnerability Detection},
journal = {CoRR},
volume = {abs/2402.12642},
year = {2024}
}
@article{DBLP:journals/corr/abs-2407-02083,
author = {Jair Certorio and
Nuno C. Martins and
Kevin Chang and
Pierluigi Nuzzo and
Yasser Shoukry},
title = {Passivity Tools for Hybrid Learning Rules in Large Populations},
journal = {CoRR},
volume = {abs/2407.02083},
year = {2024}
}
@article{DBLP:journals/csysl/FerlezS23,
author = {James Ferlez and
Yasser Shoukry},
title = {Polynomial-Time Reachability for {LTI} Systems With Two-Level Lattice
Neural Network Controllers},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {1105--1110},
year = {2023}
}
@inproceedings{DBLP:conf/aaai/KhedrS23,
author = {Haitham Khedr and
Yasser Shoukry},
title = {CertiFair: {A} Framework for Certified Global Fairness of Neural Networks},
booktitle = {{AAAI}},
pages = {8237--8245},
publisher = {{AAAI} Press},
year = {2023}
}
@inproceedings{DBLP:conf/cdc/CruzS23,
author = {Ulices Santa Cruz and
Yasser Shoukry},
title = {Certified Vision-Based State Estimation for Autonomous Landing Systems
Using Reachability Analysis},
booktitle = {{CDC}},
pages = {6052--6057},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/cdc/SajidSS23,
author = {Momina Sajid and
Yanning Shen and
Yasser Shoukry},
title = {Model Extraction Attacks Against Reinforcement Learning Based Controllers},
booktitle = {{CDC}},
pages = {813--820},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/dac/OdemaFSF23,
author = {Mohanad Odema and
James Ferlez and
Yasser Shoukry and
Mohammad Abdullah Al Faruque},
title = {{SEO:} Safety-Aware Energy Optimization Framework for Multi-Sensor
Neural Controllers at the Edge},
booktitle = {{DAC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/hybrid/FatnassiKYS23,
author = {Wael Fatnassi and
Haitham Khedr and
Valen Yamamoto and
Yasser Shoukry},
title = {{BERN-NN:} Tight Bound Propagation For Neural Networks Using Bernstein
Polynomial Interval Arithmetic},
booktitle = {{HSCC}},
pages = {19:1--19:11},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/iccps/OdemaFVSF23,
author = {Mohanad Odema and
James Ferlez and
Goli Vaisi and
Yasser Shoukry and
Mohammad Abdullah Al Faruque},
title = {EnergyShield: Provably-Safe Offloading of Neural Network Controllers
for Energy Efficiency},
booktitle = {{ICCPS}},
pages = {187--198},
publisher = {{ACM}},
year = {2023}
}
@article{DBLP:journals/corr/abs-2302-06572,
author = {Mohanad Odema and
James Ferlez and
Goli Vaisi and
Yasser Shoukry and
Mohammad Abdullah Al Faruque},
title = {EnergyShield: Provably-Safe Offloading of Neural Network Controllers
for Energy Efficiency},
journal = {CoRR},
volume = {abs/2302.06572},
year = {2023}
}
@article{DBLP:journals/corr/abs-2302-12493,
author = {Mohanad Odema and
James Ferlez and
Yasser Shoukry and
Mohammad Abdullah Al Faruque},
title = {{SEO:} Safety-Aware Energy Optimization Framework for Multi-Sensor
Neural Controllers at the Edge},
journal = {CoRR},
volume = {abs/2302.12493},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-13090,
author = {Momina Sajid and
Yanning Shen and
Yasser Shoukry},
title = {Model Extraction Attacks Against Reinforcement Learning Based Controllers},
journal = {CoRR},
volume = {abs/2304.13090},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-13508,
author = {Haitham Khedr and
Yasser Shoukry},
title = {DeepBern-Nets: Taming the Complexity of Certifying Neural Networks
using Bernstein Polynomial Activations and Precise Bound Propagation},
journal = {CoRR},
volume = {abs/2305.13508},
year = {2023}
}
@article{DBLP:journals/corr/abs-2309-05167,
author = {Ulices Santa Cruz and
Yasser Shoukry},
title = {Certified Vision-based State Estimation for Autonomous Landing Systems
using Reachability Analysis},
journal = {CoRR},
volume = {abs/2309.05167},
year = {2023}
}
@inproceedings{DBLP:conf/cdc/CruzFS22,
author = {Ulices Santa Cruz and
James Ferlez and
Yasser Shoukry},
title = {Safe-by-Repair: {A} Convex Optimization Approach for Repairing Unsafe
Two-Level Lattice Neural Network Controllers},
booktitle = {{CDC}},
pages = {3383--3388},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/cdc/SunS22,
author = {Xiaowu Sun and
Yasser Shoukry},
title = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis
for Stochastic Systems},
booktitle = {{CDC}},
pages = {2905--2910},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/hybrid/FerlezKS22,
author = {James Ferlez and
Haitham Khedr and
Yasser Shoukry},
title = {Fast {BATLLNN:} Fast Box Analysis of Two-Level Lattice Neural Networks},
booktitle = {{HSCC}},
pages = {23:1--23:11},
publisher = {{ACM}},
year = {2022}
}
@inproceedings{DBLP:conf/nfm/CruzS22,
author = {Ulices Santa Cruz and
Yasser Shoukry},
title = {NNLander-VeriF: {A} Neural Network Formal Verification Framework for
Vision-Based Autonomous Aircraft Landing},
booktitle = {{NFM}},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {213--230},
publisher = {Springer},
year = {2022}
}
@article{DBLP:journals/corr/abs-2202-01348,
author = {Salma Elmalaki and
Bo{-}Jhang Ho and
Moustafa Alzantot and
Yasser Shoukry and
Mani B. Srivastava},
title = {VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop
IoT},
journal = {CoRR},
volume = {abs/2202.01348},
year = {2022}
}
@article{DBLP:journals/corr/abs-2203-15841,
author = {Ulices Santa Cruz and
Yasser Shoukry},
title = {NNLander-VeriF: {A} Neural Network Formal Verification Framework for
Vision-Based Autonomous Aircraft Landing},
journal = {CoRR},
volume = {abs/2203.15841},
year = {2022}
}
@article{DBLP:journals/corr/abs-2204-05365,
author = {Wael Fatnassi and
Yasser Shoukry},
title = {PolyARBerNN: {A} Neural Network Guided Solver and Optimizer for Bounded
Polynomial Inequalities},
journal = {CoRR},
volume = {abs/2204.05365},
year = {2022}
}
@article{DBLP:journals/corr/abs-2205-09927,
author = {Haitham Khedr and
Yasser Shoukry},
title = {CertiFair: {A} Framework for Certified Global Fairness of Neural Networks},
journal = {CoRR},
volume = {abs/2205.09927},
year = {2022}
}
@article{DBLP:journals/corr/abs-2209-09400,
author = {James Ferlez and
Yasser Shoukry},
title = {Polynomial-Time Reachability for {LTI} Systems with Two-Level Lattice
Neural Network Controllers},
journal = {CoRR},
volume = {abs/2209.09400},
year = {2022}
}
@article{DBLP:journals/corr/abs-2210-05180,
author = {Xiaowu Sun and
Yasser Shoukry},
title = {Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks},
journal = {CoRR},
volume = {abs/2210.05180},
year = {2022}
}
@article{DBLP:journals/corr/abs-2211-14438,
author = {Wael Fatnassi and
Haitham Khedr and
Valen Yamamoto and
Yasser Shoukry},
title = {{BERN-NN:} Tight Bound Propagation For Neural Networks Using Bernstein
Polynomial Interval Arithmetic},
journal = {CoRR},
volume = {abs/2211.14438},
year = {2022}
}
@article{DBLP:journals/tac/AlexandruGSSTP21,
author = {Andreea B. Alexandru and
Konstantinos Gatsis and
Yasser Shoukry and
Sanjit A. Seshia and
Paulo Tabuada and
George J. Pappas},
title = {Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {5},
pages = {2357--2364},
year = {2021}
}
@inproceedings{DBLP:conf/adhs/FatnassiS21,
author = {Wael Fatnassi and
Yasser Shoukry},
title = {PolyAR: {A} Highly Parallelizable Solver For Polynomial Inequality
Constraints Using Convex Abstraction Refinement},
booktitle = {{ADHS}},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {43--48},
publisher = {Elsevier},
year = {2021}
}
@inproceedings{DBLP:conf/cav/KhedrFS21,
author = {Haitham Khedr and
James Ferlez and
Yasser Shoukry},
title = {PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier},
booktitle = {{CAV} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {287--300},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/cdc/FerlezS21,
author = {James Ferlez and
Yasser Shoukry},
title = {Bounding the Complexity of Formally Verifying Neural Networks: {A}
Geometric Approach},
booktitle = {{CDC}},
pages = {5104--5109},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/cdc/SunFCS21,
author = {Xiaowu Sun and
Wael Fatnassi and
Ulices Santa Cruz and
Yasser Shoukry},
title = {Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based
Approach},
booktitle = {{CDC}},
pages = {2963--2968},
publisher = {{IEEE}},
year = {2021}
}
@article{DBLP:journals/corr/abs-2101-04655,
author = {Wael Fatnassi and
Yasser Shoukry},
title = {PolyAR: {A} Highly Parallelizable Solver For Polynomial Inequality
Constraints Using Convex Abstraction Refinement},
journal = {CoRR},
volume = {abs/2101.04655},
year = {2021}
}
@article{DBLP:journals/corr/abs-2102-10806,
author = {Xiaowu Sun and
Yasser Shoukry},
title = {Provably Correct Training of Neural Network Controllers Using Reachability
Analysis},
journal = {CoRR},
volume = {abs/2102.10806},
year = {2021}
}
@article{DBLP:journals/corr/abs-2104-02788,
author = {Ulices Santa Cruz and
James Ferlez and
Yasser Shoukry},
title = {Safe-by-Repair: {A} Convex Optimization Approach for Repairing Unsafe
Two-Level Lattice Neural Network Controllers},
journal = {CoRR},
volume = {abs/2104.02788},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-01255,
author = {Xiaowu Sun and
Wael Fatnassi and
Ulices Santa Cruz and
Yasser Shoukry},
title = {Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based
Approach},
journal = {CoRR},
volume = {abs/2109.01255},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-10298,
author = {James Ferlez and
Yasser Shoukry},
title = {Assured Neural Network Architectures for Control and Identification
of Nonlinear Systems},
journal = {CoRR},
volume = {abs/2109.10298},
year = {2021}
}
@article{DBLP:journals/corr/abs-2111-08853,
author = {Xiaowu Sun and
Yasser Shoukry},
title = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis
for Stochastic Systems},
journal = {CoRR},
volume = {abs/2111.08853},
year = {2021}
}
@article{DBLP:journals/corr/abs-2111-09293,
author = {James Ferlez and
Haitham Khedr and
Yasser Shoukry},
title = {Fast {BATLLNN:} Fast Box Analysis of Two-Level Lattice Neural Networks},
journal = {CoRR},
volume = {abs/2111.09293},
year = {2021}
}
@article{DBLP:journals/automatica/ShowkatbakhshSD20,
author = {Mehrdad Showkatbakhsh and
Yasser Shoukry and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Securing state reconstruction under sensor and actuator attacks: Theory
and design},
journal = {Autom.},
volume = {116},
pages = {108920},
year = {2020}
}
@article{DBLP:journals/tcps/WeberJLSLSS20,
author = {Matthew Weber and
Baihong Jin and
Gil Lederman and
Yasser Shoukry and
Edward A. Lee and
Sanjit Seshia and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {4},
number = {4},
pages = {43:1--43:27},
year = {2020}
}
@inproceedings{DBLP:conf/amcc/BahavarniaSM20,
author = {MirSaleh Bahavarnia and
Yasser Shoukry and
Nuno C. Martins},
title = {Controller Synthesis subject to Logical and Structural Constraints:
{A} Satisfiability Modulo Theories {(SMT)} Approach},
booktitle = {{ACC}},
pages = {5281--5286},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/cdc/FerlezSS20,
author = {James Ferlez and
Xiaowu Sun and
Yasser Shoukry},
title = {Two-Level Lattice Neural Network Architectures for Control of Nonlinear
Systems},
booktitle = {{CDC}},
pages = {2198--2203},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/hybrid/FerlezS20,
author = {James Ferlez and
Yasser Shoukry},
title = {AReN: assured ReLU {NN} architecture for model predictive control
of {LTI} systems},
booktitle = {{HSCC}},
pages = {6:1--6:11},
publisher = {{ACM}},
year = {2020}
}
@article{DBLP:journals/corr/abs-2004-09628,
author = {James Ferlez and
Xiaowu Sun and
Yasser Shoukry},
title = {Two-Level Lattice Neural Network Architectures for Control of Nonlinear
Systems},
journal = {CoRR},
volume = {abs/2004.09628},
year = {2020}
}
@article{DBLP:journals/corr/abs-2006-09564,
author = {James Ferlez and
Mahmoud Elnaggar and
Yasser Shoukry and
Cody H. Fleming},
title = {ShieldNN: {A} Provably Safe {NN} Filter for Unsafe {NN} Controllers},
journal = {CoRR},
volume = {abs/2006.09564},
year = {2020}
}
@article{DBLP:journals/corr/abs-2006-10864,
author = {Haitham Khedr and
James Ferlez and
Yasser Shoukry},
title = {Effective Formal Verification of Neural Networks using the Geometry
of Linear Regions},
journal = {CoRR},
volume = {abs/2006.10864},
year = {2020}
}
@article{DBLP:journals/corr/abs-2012-11761,
author = {James Ferlez and
Yasser Shoukry},
title = {Bounding the Complexity of Formally Verifying Neural Networks: {A}
Geometric Approach},
journal = {CoRR},
volume = {abs/2012.11761},
year = {2020}
}
@inproceedings{DBLP:conf/hybrid/SunKS19,
author = {Xiaowu Sun and
Haitham Khedr and
Yasser Shoukry},
title = {Formal verification of neural network controlled autonomous systems},
booktitle = {{HSCC}},
pages = {147--156},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/icra/SunNMSN19,
author = {Xiaowu Sun and
Rohitkrishna Nambiar and
Matthew Melhorn and
Yasser Shoukry and
Pierluigi Nuzzo},
title = {DoS-Resilient Multi-Robot Temporal Logic Motion Planning},
booktitle = {{ICRA}},
pages = {6051--6057},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/sp/ElmalakiHASS19,
author = {Salma Elmalaki and
Bo{-}Jhang Ho and
Moustafa Alzantot and
Yasser Shoukry and
Mani B. Srivastava},
title = {SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT},
booktitle = {{IEEE} Symposium on Security and Privacy Workshops},
pages = {163--168},
publisher = {{IEEE}},
year = {2019}
}
@article{DBLP:journals/corr/abs-1904-01869,
author = {Mehrdad Showkatbakhsh and
Yasser Shoukry and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Securing State Estimation Under Sensor and Actuator Attacks: Theory
and Design},
journal = {CoRR},
volume = {abs/1904.01869},
year = {2019}
}
@article{DBLP:journals/corr/abs-1911-01608,
author = {James Ferlez and
Yasser Shoukry},
title = {AReN: Assured ReLU {NN} Architecture for Model Predictive Control
of {LTI} Systems},
journal = {CoRR},
volume = {abs/1911.01608},
year = {2019}
}
@article{DBLP:journals/pieee/ShoukryNSSPT18,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
George J. Pappas and
Paulo Tabuada},
title = {{SMC:} Satisfiability Modulo Convex Programming},
journal = {Proc. {IEEE}},
volume = {106},
number = {9},
pages = {1655--1679},
year = {2018}
}
@article{DBLP:journals/tcps/ShoukryCWNSSHT18,
author = {Yasser Shoukry and
Michelle Chong and
Masashi Wakaiki and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Jo{\~{a}}o Pedro Hespanha and
Paulo Tabuada},
title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor
Attacks},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {2},
number = {1},
pages = {5:1--5:27},
year = {2018}
}
@inproceedings{DBLP:conf/asianhost/WangQLSQ18,
author = {Qian Wang and
Yiming Qian and
Zhaojun Lu and
Yasser Shoukry and
Gang Qu},
title = {A Delay based Plug-in-Monitor for Intrusion Detection in Controller
Area Network},
booktitle = {AsianHOST},
pages = {86--91},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/emsoft/AbbasSSEFGMU18,
author = {Houssam Abbas and
Indranil Saha and
Yasser Shoukry and
R{\"{u}}diger Ehlers and
Georgios Fainekos and
Rajesh Gupta and
Rupak Majumdar and
Dogan Ulus},
title = {Embedded software for robotics: challenges and future directions:
special session},
booktitle = {{EMSOFT}},
pages = {10},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/iccps/ShoukryMLD18,
author = {Yasser Shoukry and
Shaunak Mishra and
Zutian Luo and
Suhas N. Diggavi},
title = {Sybil attack resilient traffic networks: a physics-based trust propagation
approach},
booktitle = {{ICCPS}},
pages = {43--54},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/sensys/ElmalakiSS18,
author = {Salma Elmalaki and
Yasser Shoukry and
Mani B. Srivastava},
title = {Internet of Personalized and Autonomous Things (IoPAT): Smart Homes
Case Study},
booktitle = {CitiFog@SenSys},
pages = {35--40},
publisher = {{ACM}},
year = {2018}
}
@article{DBLP:journals/corr/abs-1809-02267,
author = {Andreea B. Alexandru and
Konstantinos Gatsis and
Yasser Shoukry and
Sanjit A. Seshia and
Paulo Tabuada and
George J. Pappas},
title = {Cloud-based Quadratic Optimization with Partially Homomorphic Encryption},
journal = {CoRR},
volume = {abs/1809.02267},
year = {2018}
}
@article{DBLP:journals/corr/abs-1810-13072,
author = {Xiaowu Sun and
Haitham Khedr and
Yasser Shoukry},
title = {Formal Verification of Neural Network Controlled Autonomous Systems},
journal = {CoRR},
volume = {abs/1810.13072},
year = {2018}
}
@article{DBLP:journals/tac/ShoukryNPSST17,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Alberto Puggelli and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Paulo Tabuada},
title = {Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks:
{A} Satisfiability Modulo Theory Approach},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {10},
pages = {4917--4932},
year = {2017}
}
@article{DBLP:journals/tcns/MishraSKDT17,
author = {Shaunak Mishra and
Yasser Shoukry and
Nikhil Karamchandani and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Secure State Estimation Against Sensor Attacks in the Presence of
Noise},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {4},
number = {1},
pages = {49--59},
year = {2017}
}
@inproceedings{DBLP:conf/amcc/ShoukryTTMGA17,
author = {Yasser Shoukry and
Paulo Tabuada and
Stephanie Tsuei and
Mark B. Milam and
Jessy W. Grizzle and
Aaron D. Ames},
title = {Closed-form controlled invariant sets for pedestrian avoidance},
booktitle = {{ACC}},
pages = {1622--1628},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/cdc/ShoukryNBSSSPT17,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Ayca Balkan and
Indranil Saha and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
George J. Pappas and
Paulo Tabuada},
title = {Linear temporal logic motion planning for teams of underactuated robots
using satisfiability modulo convex programming},
booktitle = {{CDC}},
pages = {1132--1137},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/cdc/ShowkatbakhshSC17,
author = {Mehrdad Showkatbakhsh and
Yasser Shoukry and
Robert H. Chen and
Suhas N. Diggavi and
Paulo Tabuada},
title = {An SMT-based approach to secure state estimation under sensor and
actuator attacks},
booktitle = {{CDC}},
pages = {157--162},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/hybrid/ShoukryNSSPT17,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
George J. Pappas and
Paulo Tabuada},
title = {{SMC:} Satisfiability Modulo Convex Optimization},
booktitle = {{HSCC}},
pages = {19--28},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/ipsn/Al-AnwarSCBMTS17,
author = {Amr Al{-}Anwar and
Yasser Shoukry and
Supriyo Chakraborty and
Bharathan Balaji and
Paul Martin and
Paulo Tabuada and
Mani B. Srivastava},
title = {PrOLoc: resilient localization with private observers using partial
homomorphic encryption: demo abstract},
booktitle = {{IPSN}},
pages = {257--258},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/ipsn/Al-AnwarSCMTS17,
author = {Amr Al{-}Anwar and
Yasser Shoukry and
Supriyo Chakraborty and
Paul Martin and
Paulo Tabuada and
Mani B. Srivastava},
title = {PrOLoc: resilient localization with private observers using partial
homomorphic encryption},
booktitle = {{IPSN}},
pages = {41--52},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/sensys/TsaiSLR17,
author = {Huey{-}Ru (Debbie) Tsai and
Yasser Shoukry and
Min Kyung Lee and
Vasumathi Raman},
title = {Towards a socially responsible smart city: dynamic resource allocation
for smarter community service},
booktitle = {BuildSys@SenSys},
pages = {13:1--13:4},
publisher = {{ACM}},
year = {2017}
}
@article{DBLP:journals/tac/ShoukryT16,
author = {Yasser Shoukry and
Paulo Tabuada},
title = {Event-Triggered State Observers for Sparse Sensor Noise/Attacks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {8},
pages = {2079--2091},
year = {2016}
}
@inproceedings{DBLP:conf/cdc/ShoukryGAPSST16,
author = {Yasser Shoukry and
Konstantinos Gatsis and
Amr Al{-}Anwar and
George J. Pappas and
Sanjit A. Seshia and
Mani B. Srivastava and
Paulo Tabuada},
title = {Privacy-aware quadratic optimization using partially homomorphic encryption},
booktitle = {{CDC}},
pages = {5053--5058},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/cdc/ShoukryNSSSPT16,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Indranil Saha and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
George J. Pappas and
Paulo Tabuada},
title = {Scalable lazy SMT-based motion planning},
booktitle = {{CDC}},
pages = {6683--6688},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/iccps/ShoukryCWNSSHT16,
author = {Yasser Shoukry and
Michelle Chong and
Masashi Wakaiki and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Jo{\~{a}}o Pedro Hespanha and
Paulo Tabuada},
title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor
Attacks},
booktitle = {{ICCPS}},
pages = {29:1--29:10},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@article{DBLP:journals/corr/ShoukryMYDS16,
author = {Yasser Shoukry and
Paul Martin and
Yair Yona and
Suhas N. Diggavi and
Mani B. Srivastava},
title = {Attack Resilience and Recovery using Physical Challenge Response Authentication
for Active Sensors Under Integrity Attacks},
journal = {CoRR},
volume = {abs/1605.02062},
year = {2016}
}
@phdthesis{DBLP:phd/basesearch/Sakr15,
author = {Yasser Shoukry Sakr},
title = {Security and Privacy in Cyber-Physical Systems: Physical Attacks and
Countermeasures},
school = {University of California, Los Angeles, {USA}},
year = {2015}
}
@inproceedings{DBLP:conf/amcc/ShoukryPNSST15,
author = {Yasser Shoukry and
Alberto Puggelli and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Paulo Tabuada},
title = {Sound and complete state estimation for linear dynamical systems under
sensor attacks using Satisfiability Modulo Theory solving},
booktitle = {{ACC}},
pages = {3818--3823},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/amcc/TruongSS15,
author = {Newton Truong and
Yasser Shoukry and
Mani B. Srivastava},
title = {Bio-inspired underwater electrolocation through adaptive system identification},
booktitle = {{ACC}},
pages = {4473--4478},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/ccs/ShoukryMYDS15,
author = {Yasser Shoukry and
Paul Martin and
Yair Yona and
Suhas N. Diggavi and
Mani B. Srivastava},
title = {PyCRA: Physical Challenge-Response Authentication For Active Sensors
Under Spoofing Attacks},
booktitle = {{CCS}},
pages = {1004--1015},
publisher = {{ACM}},
year = {2015}
}
@inproceedings{DBLP:conf/cdc/ShoukryNBSST15,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Nicola Bezzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Paulo Tabuada},
title = {Secure state reconstruction in differentially flat systems under sensor
attacks using satisfiability modulo theory solving},
booktitle = {{CDC}},
pages = {3804--3809},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/isit/MishraSKDT15,
author = {Shaunak Mishra and
Yasser Shoukry and
Nikhil Karamchandani and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Secure state estimation: Optimal guarantees against sensor attacks
in the presence of noise},
booktitle = {{ISIT}},
pages = {2929--2933},
publisher = {{IEEE}},
year = {2015}
}
@article{DBLP:journals/corr/MishraSKDT15,
author = {Shaunak Mishra and
Yasser Shoukry and
Nikhil Karamchandani and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Secure State Estimation: Optimal Guarantees against Sensor Attacks
in the Presence of Noise},
journal = {CoRR},
volume = {abs/1504.05566},
year = {2015}
}
@article{DBLP:journals/corr/MishraSKDT15a,
author = {Shaunak Mishra and
Yasser Shoukry and
Nikhil Karamchandani and
Suhas N. Diggavi and
Paulo Tabuada},
title = {Secure State Estimation against Sensor Attacks in the Presence of
Noise},
journal = {CoRR},
volume = {abs/1510.02462},
year = {2015}
}
@article{DBLP:journals/corr/ShoukryNBSST15,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Nicola Bezzo and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Paulo Tabuada},
title = {A Satisfiability Modulo Theory Approach to Secure State Reconstruction
in Differentially Flat Systems Under Sensor Attacks},
journal = {CoRR},
volume = {abs/1509.03262},
year = {2015}
}
@article{DBLP:journals/iacr/Shoukry0TS15,
author = {Yasser Shoukry and
Paul D. Martin and
Paulo Tabuada and
Mani B. Srivastava},
title = {Non-invasive Spoofing Attacks for Anti-lock Braking Systems},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {419},
year = {2015}
}
@inproceedings{DBLP:conf/cdc/ShoukryT14,
author = {Yasser Shoukry and
Paulo Tabuada},
title = {Event-triggered projected Luenberger observer for linear systems under
sparse sensor attacks},
booktitle = {{CDC}},
pages = {3548--3553},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/nsdi/ChakrabortySRSMS14,
author = {Supriyo Chakraborty and
Chenguang Shen and
Kasturi Rangan Raghavan and
Yasser Shoukry and
Matt Millar and
Mani B. Srivastava},
title = {ipShield: {A} Framework For Enforcing Context-Aware Privacy},
booktitle = {{NSDI}},
pages = {143--156},
publisher = {{USENIX} Association},
year = {2014}
}
@inproceedings{DBLP:conf/sensys/0001SSOS14,
author = {Paul D. Martin and
Yasser Shoukry and
Prashanth Swaminathan and
Wentao Robin Ouyang and
Mani B. Srivastava},
title = {Social spring: encounter-based path refinement for indoor tracking
systems},
booktitle = {BuildSys@SenSys},
pages = {156--159},
publisher = {{ACM}},
year = {2014}
}
@article{DBLP:journals/corr/ShoukryNPSST14,
author = {Yasser Shoukry and
Pierluigi Nuzzo and
Alberto Puggelli and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Paulo Tabuada},
title = {Secure State Estimation Under Sensor Attacks: {A} Satisfiability Modulo
Theory Approach},
journal = {CoRR},
volume = {abs/1412.4324},
year = {2014}
}
@article{DBLP:journals/cee/ShoukryEH13,
author = {Yasser Shoukry and
M. Watheq El{-}Kharashi and
Sherif Hammad},
title = {An embedded implementation of the Generalized Predictive Control algorithm
applied to automotive active suspension systems},
journal = {Comput. Electr. Eng.},
volume = {39},
number = {2},
pages = {512--529},
year = {2013}
}
@inproceedings{DBLP:conf/ches/ShoukryMTS13,
author = {Yasser Shoukry and
Paul D. Martin and
Paulo Tabuada and
Mani B. Srivastava},
title = {Non-invasive Spoofing Attacks for Anti-lock Braking Systems},
booktitle = {{CHES}},
series = {Lecture Notes in Computer Science},
volume = {8086},
pages = {55--72},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/fdl/ShoukryKEBH13,
author = {Yasser Shoukry and
Ajay Kumar and
M. Watheq El{-}Kharashi and
Gahda Bahig and
Sherif Hammad},
title = {Graph-based approach for software allocation in automotive networked
embedded systems: {A} partition-and-map algorithm},
booktitle = {{FDL}},
pages = {1--6},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/hicons/ShoukryATSJ13,
author = {Yasser Shoukry and
Jos{\'{e}} Araujo and
Paulo Tabuada and
Mani B. Srivastava and
Karl Henrik Johansson},
title = {Minimax control for cyber-physical systems under network packet scheduling
attacks},
booktitle = {HiCoNS},
pages = {93--100},
publisher = {{ACM}},
year = {2013}
}
@article{DBLP:journals/corr/ShoukryT13,
author = {Yasser Shoukry and
Paulo Tabuada},
title = {Event-Triggered State Observers for Sparse Sensor Noise/Attacks},
journal = {CoRR},
volume = {abs/1309.3511},
year = {2013}
}
@inproceedings{DBLP:conf/emsoft/TabuadaBCSM12,
author = {Paulo Tabuada and
Ayca Balkan and
Sina Y. Caliskan and
Yasser Shoukry and
Rupak Majumdar},
title = {Input-output robustness for discrete systems},
booktitle = {{EMSOFT}},
pages = {217--226},
publisher = {{ACM}},
year = {2012}
}
@article{DBLP:journals/esl/ShoukryEH10,
author = {Yasser Shoukry and
M. Watheq El{-}Kharashi and
Sherif Hammad},
title = {MPC-On-Chip: An Embedded {GPC} Coprocessor for Automotive Active Suspension
Systems},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {2},
number = {2},
pages = {31--34},
year = {2010}
}
@inproceedings{DBLP:conf/amcc/ShoukryEH10,
author = {Yasser Shoukry and
Mohamed H. El{-}Shafie and
Sherif Hammad},
title = {Networked embedded generalized predictive controller for an active
suspension system},
booktitle = {{ACC}},
pages = {4570--4575},
publisher = {{IEEE}},
year = {2010}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-09 18:30 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
