The Security for Safety Problem in Cyberphysical Systems. - Semen Kort; Ekaterina Rudina (MILS@HiPEAC, 2016)

An approach to Separation of Duties validation for MILS security configurations. - Semen Kort; Dmitry Kulagin; Ekaterina Rudina (MILS, 2017)