RT from HiPEAC (@hipeac)

What’s going on in #RISCV in Europe? Why should you come to Barcelona in June? Christian Fabre @CEA_List and Teresa Cervero @BSC_CNS tell us all
@risc_v
📺 https://www.youtube.com/watch?v=tgxsHrCoA6Q&feature=youtu.be
#HiPEAC23 #HiPEACTV

Original tweet : https://twitter.com/hipeac/status/1629117925574443009

Auf #HiPEAC23 in Toulouse sprach Dr. Jester @cyberjestr von der @Cyberagentur im Workshop „Secure Hardware“ über vertrauenswürdige IT und ein „Ökosystem vertrauenswürdige IT (#ÖvIT)“. Ein Projekt, um mit formalen Methoden Sicherheitseigenschaften von der Hardware und ihren Lieferketten über das Betriebssystem bis hin zur Anwendung möglichst durchgängig beweisbar zu machen. Ziel: Stärkung der inneren und äußeren Sicherheit Deutschlands und der technologischen Souveränität. https://www.hipeac.net/2023/toulouse/#/