1 – 10 of 57
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
On Modeling and Detecting Trojans in Instruction Sets
Zhang, Ying ; He, Aodi ; Li, Jiaying ; Rezine, Ahmed ; Peng, Zebo ; Larsson, Erik LU
; Yang, Tao
; Jiang, Jianhui
and Li, Huawei
(2024)
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
43(10).
p.3226-3239
- Contribution to journal › Article
- 2021
-
Mark
Secure Cloud Control Using Verifiable Computation
Mahfouzi, Rouhollah ; Aminifar, Amir LU
; Samii, Soheil
; Eles, Petru
and Peng, Zebo
(2021)
2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
In 2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breaking silos to guarantee control stability with communication over ethernet TSN
Mahfouzi, Rouhollah ; Aminifar, Amir LU
; Samii, Soheil
; Rezine, Ahmed
; Eles, Petru
and Peng, Zebo
(2021)
In IEEE Design and Test
38(5).
p.48-56
- Contribution to journal › Article
- 2019
-
Mark
Security-aware routing and scheduling for control applications on ethernet TSN networks
Mahfouzi, Rouhollah ; Aminifar, Amir LU
; Samii, Soheil
; Eles, Petru
and Peng, Zebo
(2019)
In ACM Transactions on Design Automation of Electronic Systems
25(1).
- Contribution to journal › Article
-
Mark
Butterfly attack : Adversarial manipulation of temporal properties of cyber-physical systems
Mahfouzi, Rouhollah ; Aminifar, Amir LU
; Samii, Soheil
; Payer, Mathias
; Eles, Petru
and Peng, Zebo
(2019)
40th IEEE Real-Time Systems Symposium, RTSS 2019
In Proceedings - Real-Time Systems Symposium
2019-December.
p.93-106
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Optimization of message encryption for real-time applications in embedded systems
Aminifar, Amir LU
; Eles, Petru
and Peng, Zebo
(2018)
In IEEE Transactions on Computers
67(5).
p.748-754
- Contribution to journal › Article
-
Mark
Control-Quality Driven Design of Embedded Control Systems with Stability Guarantees
Aminifar, Amir LU
; Eles, Petru
; Peng, Zebo
; Cervin, Anton
LU
and Årzén, Karl-Erik
LU
(2018)
In IEEE Design and Test
35(4).
p.38-46
- Contribution to journal › Article
-
Mark
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
Mahfouzi, Rouhollah ; Aminifar, Amir LU
; Samii, Soheil
; Rezine, Ahmed
; Eles, Petru
and Peng, Zebo
(2018)
2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
p.682-687
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Self-triggered controllers and hard real-time guarantees
Aminifar, Amir LU
; Tabuada, Paulo
; Eles, Petru
and Peng, Zebo
(2016)
19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
In Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
p.636-641
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis and design of real-time servers for control applications
Aminifar, Amir LU
; Bini, Enrico
LU
; Eles, Petru
and Peng, Zebo
(2016)
In IEEE Transactions on Computers
65(3).
p.834-846
- Contribution to journal › Article