Yasser Shoukry

Available identifiers

zbMath Open shoukry.yasserMaRDI QIDQ1987259

List of research outcomes

Publication	Date of Publication	Type
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks	2024-02-21	Paper
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic	2024-02-21	Paper
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption	2021-05-28	Paper
AReN	2021-01-25	Paper
Securing state reconstruction under sensor and actuator attacks: theory and design	2020-04-14	Paper
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems	2019-11-04	Paper
Formal verification of neural network controlled autonomous systems	2019-10-22	Paper
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption	2018-09-06	Paper
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach	2018-06-27	Paper
Secure State Estimation Against Sensor Attacks in the Presence of Noise	2017-09-21	Paper
SMC	2017-07-11	Paper
Event-Triggered State Observers for Sparse Sensor Noise/Attacks	2017-05-03	Paper

Research outcomes over time

This page was built for person: Yasser Shoukry