Translating a Dependently-Typed Logic to First-Order Logic. - Kristina Sojakova; Florian Rabe 001 (WADT, 2008)

Towards Logical Frameworks in the Heterogeneous Tool Set Hets. - Mihai Codescu; Feryal Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe 001; Kristina Sojakova (WADT, 2010)

Inductive Types in Homotopy Type Theory. - Steven Awodey; Nicola Gambino; Kristina Sojakova (LICS, 2012)

Logical relations for a logical framework. - Florian Rabe 001; Kristina Sojakova (ACM Trans. Comput. Log., 2013)

Higher Inductive Types as Homotopy-Initial Algebras. - Kristina Sojakova (POPL, 2015)

The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. - Kristina Sojakova (ACM Trans. Comput. Log., 2016)

Cubical Categories for Higher-Dimensional Parametricity. - Patricia Johann; Kristina Sojakova (CoRR, 2017)

A General Framework for Relational Parametricity. - Kristina Sojakova; Patricia Johann (LICS, 2018)

IPDL: A Probabilistic Dataflow Logic for Cryptography. - Xiong Fan; Joshua Gancher; Greg Morrisett; Elaine Shi; Kristina Sojakova (IACR Cryptol. ePrint Arch., 2019)

Sequential Colimits in Homotopy Type Theory. - Kristina Sojakova; Floris van Doorn; Egbert Rijke (LICS, 2020)

Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. - Murdoch James Gabbay; Arvid Jakobsson; Kristina Sojakova (FMBC@CAV, 2021)

Syllepsis in Homotopy Type Theory. - Kristina Sojakova (CoRR, 2021)

IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols. - Greg Morrisett; Elaine Shi; Kristina Sojakova; Xiong Fan; Joshua Gancher (IACR Cryptol. ePrint Arch., 2021)

Syllepsis in Homotopy Type Theory. - Kristina Sojakova; G. A. Kavvos (LICS, 2022)

A Core Calculus for Equational Proofs of Cryptographic Protocols. - Joshua Gancher; Kristina Sojakova; Xiong Fan; Elaine Shi; Greg Morrisett (Proc. ACM Program. Lang., 2023)

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols. - Kristina Sojakova; Mihai Codescu; Joshua Gancher (CoRR, 2025)