Special Research Area (SFB) F85 Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design (FWF - SPyCoDe)

Activities

Activities per year 2023 2023 2023

• 1 Talk at conference or symposium
• 1 Talk at workshop, seminar or course

Activities per year

Search results

• Secure Context Switching of Masked Software Implementations

  Barbara Gigerl (Speaker)

  14 Jul 2023

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• Automated Verification of Power Contracts

  Johannes Haring (Speaker)

  11 Sept 2023

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science