• Sign in
  • Sign up
conf.researchr.org / Kristina Sojakova
  • Dutch Formal Methods Day 2025 profile
  • ICFP 2021 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile

Registered user since Wed 10 Nov 2021

Name:Kristina Sojakova
Country:France
Affiliation:Inria

Contributions

2025

Dutch Formal Methods Day

  • Author of Concrete Security Bounds for Simulation-Based Proofs of Message-Passing Protocols within the Dutch Formal Methods Day 2025-track

2024

POPL

  • Committee Member in Selection Committee within the Student Research Competition-track
  • Committee Member in Program Committee within the POPL-track

2023

SPLASH

  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

POPL

  • Author of A Core Calculus for Equational Proofs of Cryptographic Protocols within the POPL-track

2022

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

2021

ML

  • Committee Member in Program Committee within the ML 2021-track
Share
xSat 14 Jun 03:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up