Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kristina Sojakova
conf.researchr.org general profile
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
x
Sat 14 Jun 03:17