Congrats to Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frédéric Besson and Guillaume Hiet, whose paper Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code got accepted at ESORICS.
They will be in Poland in September to present it!
