Kristina Sojakova

21 papers A* 5Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols.
CoRR
Kristina Sojakova, Mihai Codescu, Joshua Gancher
2023 J jnl
A Core Calculus for Equational Proofs of Cryptographic Protocols.
Proc. ACM Program. Lang.
Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett
2022 A* conf
Syllepsis in Homotopy Type Theory.
LICS
Kristina Sojakova, G. A. Kavvos
2021 J jnl
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.
IACR Cryptol. ePrint Arch.
Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher
2021 — conf
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.
FMBC@CAV
Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova
2021 J jnl
Money grows on (proof-)trees: the formal FA1.2 ledger standard.
CoRR
Murdoch Gabbay, Arvid Jakobsson, Kristina Sojakova
2021 J jnl
Syllepsis in Homotopy Type Theory.
CoRR
Kristina Sojakova
2020 A* conf
Sequential Colimits in Homotopy Type Theory.
LICS
Kristina Sojakova, Floris van Doorn, Egbert Rijke
2019 J jnl
IPDL: A Probabilistic Dataflow Logic for Cryptography.
IACR Cryptol. ePrint Arch.
Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova
2018 A* conf
A General Framework for Relational Parametricity.
LICS
Kristina Sojakova, Patricia Johann
2018 J jnl
A General Framework for Relational Parametricity.
CoRR
Kristina Sojakova, Patricia Johann
2017 J jnl
Cubical Categories for Higher-Dimensional Parametricity.
CoRR
Patricia Johann, Kristina Sojakova
2016 J jnl
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory.
ACM Trans. Comput. Log.
Kristina Sojakova
2015 A* conf
Higher Inductive Types as Homotopy-Initial Algebras.
POPL
Kristina Sojakova
2015 J jnl
The equivalence of the torus and the product of two circles in homotopy type theory.
CoRR
Kristina Sojakova
2014 J jnl
Higher Inductive Types as Homotopy-Initial Algebras.
CoRR
Kristina Sojakova
2013 J jnl
Logical relations for a logical framework.
ACM Trans. Comput. Log.
Florian Rabe, Kristina Sojakova
2012 A* conf
Inductive Types in Homotopy Type Theory.
LICS
Steven Awodey, Nicola Gambino, Kristina Sojakova
2012 J jnl
Inductive types in homotopy type theory
CoRR
Steven Awodey, Nicola Gambino, Kristina Sojakova
2010 — conf
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
WADT
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
2008 — conf
Translating a Dependently-Typed Logic to First-Order Logic.
WADT
Kristina Sojakova, Florian Rabe