Towards the application of flask security architecture to SoC design: work-in-progress