Renaud Pacalet

Research:

Current research areas:

• Specification, design, development and verification of integrated and embedded systems
• Hardware security, information leaks through side-channels (power, processing time...), countermeasures
• Information leaks through side-effects of processor micro-architectures (caches, branch prediction, speculative execution...), countermeasures

Past research areas:

• Hardware acceleration of ray tracing image synthesis
• Hardware architectures for video coding and decoding
• Intelligent transportation systems, automated driving
• Software and hardware architectures for the Software Defined Radio, Embb project
• Protection of integrity and confidentiality of external memories of integrated systems, SecBus project

Some publications