research
∙
06/10/2020
The nearest-colattice algorithm
In this work, we exhibit a hierarchy of polynomial time algorithms solvi...
share
research
∙
12/10/2019
Algebraic and Euclidean Lattices: Optimal Lattice Reduction and Beyond
We introduce a framework generalizing lattice reduction algorithms to mo...
research
∙
05/28/2019
Certified lattice reduction
Quadratic form reduction and lattice reduction are fundamental tools in ...
research
∙
03/14/2018
An Assertion-Based Program Logic for Probabilistic Programs
Research on deductive verification of probabilistic programs has conside...
research
∙
08/08/2017
Proving Expected Sensitivity of Probabilistic Programs
Program sensitivity, also known as Lipschitz continuity, describes how s...
research
∙
05/09/2016