Kristina Sojakova

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 12

Top Topics

Cryptographic Protocols

Private Information Retrieval

Logical Framework

Top Venues

ACM Trans. Comput. Log.

IACR Cryptol. ePrint Arch.

Publications

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