Serendipity - Secure and dependable platforms for autonomy

Status:

active

Start date:

2018-03-01

End date:

2023-02-28

To take full advantage of our increasingly connected and autonomous world, we need technologies to build platforms that are secure and dependable by design. We need security solutions developed not for a particular application area, but for connected, heterogeneous, timesensitive cyberphysical systems and largescale systemsofsystems.

The security solutions need to be scalable and adapted to an open environment where nodes, services and users vary over time. The timely and continuously available security services need to be maintained and should remain transparent to the user. Traditional dependable platforms are designed to provide dependable service, including features such as redundancybased fault tolerance, selfmonitoring, selfhealing, and selfreconfiguring. We claim that security and safety can be addressed in a uniform manner based on these features, since, if used properly, they could be suitable to discover and neutralize intruders and adversaries. In Serendipity, we will develop new technologies and a platform for safetycritical connected cyberphysical systems that leverage existing techniques for dependable systems and augment them with scalable security solutions for open and heterogeneous systems.

[Show all publications]

Timing Predictability and Security in Safety-critical Industrial Cyber-physical Systems: A Position Paper (Apr 2020)
Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan
Applied Sciences--Special Issue "Emerging Paradigms and Architectures for Industry 4.0 Applications" (ApplSci'20)

Service Realizability Check as a Technique to Support a Service Security Assurance Case (Feb 2020)
Predrag Filipovikj, Aida Causevic, Elena Lisova
21st IEEE International Conference on Industrial Technology (ICIT'20)

Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (Dec 2019)
Jamal El Hachem , Ali Sedaghatbaf, Elena Lisova, Aida Causevic
Asia-Pacific Software Engineering Conference (APSEC 2019)

From Requirements to Verifiable ExecutableModels using Rebeca (Nov 2019)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)

Secrecy Performance Analysis of Cooperative NOMA Networks With Active Protection under α − µ Fading (Nov 2019)
Tung Pham Huu , Van Nhan Vo , Tran Hung, Quach Xuan Truong
International Conference on Advanced Technologies for Communications (ATC)

On Security and Throughput for Energy Harvesting Untrusted Relays in IoT Systems Using NOMA (Nov 2019)
Van Nhan Vo , Tran Hung, Chakchai So-In , Dung Duc Tran
Journal of IEEE Access (IEEE-Access)