Fardin Abdi

Fardin Abdi
Are you Fardin Abdi?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Fardin Abdi
Affiliation
Location

Pubs By Year

Pub Categories

 
Computer Science - Cryptography and Security (1)

Publications Authored By Fardin Abdi

Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. Read More

Many physical plants that are controlled by embedded systems have safety requirements that need to be respected at all times - any deviations from expected behavior can result in damage to the system (often to the physical plant), the environment or even endanger human life. In recent times, malicious attacks against such systems have increased - many with the intent to cause physical damage. In this paper, we aim to decouple the safety of the plant from security of the embedded system by taking advantage of the inherent inertia in such systems. Read More