Raksha: A flexible information flow architecture for software security, vol.35, pp.482-493, 2007. ,
Decoupling dynamic information flow tracking with a dedicated coprocessor, IEEE/IFIP International Conference on Dependable Systems Networks, pp.105-114, 2009. ,
Implementing an application-specific instruction-set processor for system-level dynamic program analysis engines, ACM Trans. Des. Autom. Electron. Syst, vol.20, issue.4, 2015. ,
Architectural support for softwaredefined metadata processing, SIGARCH Comput. Archit. News, vol.43, issue.1, pp.487-502, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01102378
Armhex: A hardware extension for dift on arm-based socs, 27th International Conference on Field Programmable Logic and Applications (FPL), pp.1-7, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01558473
, Embedded Trace Macrocell Architecture Specification
Efficient security monitoring with the core debug interface in an embedded processor, ACM Trans. Des. Autom. Electron. Syst, vol.22, issue.1, 2016. ,
Fade: A programmable filtering accelerator for instruction-grain monitoring, 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA), pp.108-119, 2014. ,
Flexible hardware acceleration for instruction-grain program monitoring, Proceedings of the 35th Annual International Symposium on Computer Architecture, ISCA '08, pp.377-388, 2008. ,
Dynamic information flow tracking on multicores, Workshop on Interaction between Compilers and Computer Architectures, 2008. ,
Flexible and efficient instruction-grained run-time monitoring using on-chip reconfigurable fabric, Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO '43, pp.137-148, 2010. ,
High-performance parallel accelerator for flexible and efficient run-time monitoring, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), pp.1-12, 2012. ,
, Yocto project. Yocto Project Reference Manual
Program Flow Trace Architecture Specification ,
Micro-policies: Formally verified, tag-based security monitors, 2015 IEEE Symposium on Security and Privacy, pp.813-830, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01265666
Information flow tracking for linux handling concurrent system calls and shared memory, Software Engineering and Formal Methods, pp.1-16, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01535949
, ARM. CoreSight Components Technincal Reference Manual
Technology System Design Guide ,