Λ ⚬ λ: Functional Lattice Cryptography

Lattices in Cryptography (University of Michigan)

A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter

A Lattice Library for Julia

practical quantum-secure key encapsulation from generic lattices

Bi-directional Lattice Recurrent Neural Networks for Confidence Estimation

Confidence Estimation for Black Box Automatic Speech Recognition Systems Using Lattice Recurrent Neural Networks https://arxiv.org/abs/1910.11933 or https://ieeexplore.ieee.org/document/9053264

A cuda enumeration library that can be used by fplll, using the external enumerator API

Interfaces for heyting algebras and verified bounded join and meet semilattices

Package for generating and inverse-designing 2D lattice materials. Represents lattices as heterogeneous graphs and utilizes message passing, automatic differentiation and surrogate gradients for the inverse design.

Counting (maximal) antichains of non-crossing partitions

Python implementation of GGH and GGH-HNF lattice-based cryptosystems for research and educational purposes, featuring cryptanalysis tools and a hybrid variant.

Mathematical cryptography (custom implementations).

[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Contains the codes and formal context files for (maximal) antichains of Tamari lattices

Some code for lattice-based consensus clustering

Periodic Mesh Generation of BCC Lattice Materials using SALOME for FEM Analysis

Hecke operators for unitary groups over imaginary quadratic number fields

The goal of this project is to implement TwoNeighbours (TN) by B. Hemkemeier and HermitianNeighbours (HN) by A. Schiemann in MAGMA.