Kristina Sojakova

According to our database, Kristina Sojakova authored at least 15 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Core Calculus for Equational Proofs of Cryptographic Protocols.

Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett

Proc. ACM Program. Lang., January, 2023

2022

Syllepsis in Homotopy Type Theory.

Kristina Sojakova, G. A. Kavvos

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

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

CoRR, 2021

Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.

Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2020

Sequential Colimits in Homotopy Type Theory.

Kristina Sojakova, Floris van Doorn, Egbert Rijke

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

IPDL: A Probabilistic Dataflow Logic for Cryptography.

Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova

IACR Cryptol. ePrint Arch., 2019

2018

A General Framework for Relational Parametricity.

Kristina Sojakova, Patricia Johann

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Cubical Categories for Higher-Dimensional Parametricity.

Patricia Johann, Kristina Sojakova

CoRR, 2017

2016

The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory.

Kristina Sojakova

ACM Trans. Comput. Log., 2016

2015

Higher Inductive Types as Homotopy-Initial Algebras.

Kristina Sojakova

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

Logical relations for a logical framework.

Florian Rabe, Kristina Sojakova

ACM Trans. Comput. Log., 2013

2012

Inductive Types in Homotopy Type Theory.

Steven Awodey, Nicola Gambino, Kristina Sojakova

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2008

Translating a Dependently-Typed Logic to First-Order Logic.

Kristina Sojakova, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008