Paragon Case Study – implementing information-flow critical software in paragon for the purpose of evaluation

Potential supervisors: 
Research groups/keywords: 
Description: 

 

For details see attached file.

Date range: 
November, 2018 to November, 2023