Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Gilles Barthe | Lattice

Gilles Barthe

IMDEA Software Institute

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Computer Vision (1)Scalable Oversight & Alignment Theory (1)

Frequent co-authors

Papers (1)

Jul 30, 2026

G. Barthe +1Jul 30, 2026·also IMDEA Software Institute

Formalization of security

Proof assistants could be the key to unlocking robust security certifications across diverse domains like cryptography and secure compilation.

G. Barthe, Gilles Barthe

Code Generation & Program Synthesis Computer Vision Scalable Oversight & Alignment Theory