Grants from Brittany and Rennes
Thanks to Rennes Métropole and Région Bretagne for giving AIS and Boost’Mobilité grants to Alessandro Palumbo.
Thanks to Rennes Métropole and Région Bretagne for giving AIS and Boost’Mobilité grants to Alessandro Palumbo.
Welcome to our new members: Lorenzo Casalino, Quentin Ducasse and Eliott Quéré.
Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code
Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frédéric Besson and Guillaume Hiet