Rasma Araby

According to our database, Rasma Araby authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

A Model-based Approach to Certification of Adaptive MILS.

Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018