Cyber-Physical Systems Analysis
Focus:
The research group is focused on analyzing cyber-physical systems, as concurrent and distributed systems where embedded computers and networks monitor and control the physical processes.
See Rebeca Homepage for more information: http://www.rebeca-lang.org
Cyber-physical systems are integrations of computation, networking, and physical processes. Different novel analysis approaches and techniques are needed to guarantee dependability and efficiency of cyber-physical systems.
| First Name | Last Name | Title |
|---|---|---|
| Edward | Lee | Visiting Professor |
| Ehsan | Khamespanah | Assistant Professor |
| Fereidoun | Moradi | Doctoral student |
| Giorgio | Forcina | Doctoral student |
| Maghsood | Salimi | Doctoral student |
| Marjan | Sirjani | Professor |
| Maryam | Bagheri | Doctoral student |
| Mohammad | Loni | Affiliated researcher |
| Samaneh | Mohammadi | Industrial Doctoral Student |
| Sara | Abbaspour | Associated Senior Lecturer |
| Stefan | Marksteiner | Industrial Doctoral Student |
| Zahra | Moezkarimi | Post Doc,Postdoctoral research fellow |
| Zeinab | Sharifi | Doctoral student |
EncCluster: Bringing Functional Encryption in Federated Foundational Models (Dec 2024) Vasileios Tsouvalas , Samaneh Mohammadi, Ali Balador, Tanir Ozcelebi , Francesco Flammini, Nirvana Meratnia 2024 Conference on Neural Information Processing Systems (NeurIPS 2024)
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024) Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani Journal of Cybersecurity and Privacy (JCP)
Predicting Cache Behaviour of Concurrent Applications (Sep 2024) Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar 29th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2024)
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)
Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
A Systematic Approach Towards Enhancing Digital Privacy in Industrial Applications (Jun 2024) Sara Abbaspour 12th International Conference of Security, Privacy and Trust Management (SPTM)
