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

Jan Menz | Lattice

Jan Menz

MPI-SWS, Germany

Papers on Lattice

1

Total citations

3

Topics

2

h-index

1

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Andrew K. Hirsch (1)Peixuan Li (1)Deepak Garg (1)

Papers (1)

Apr 20, 2026

Apr 20, 2026·also Penn State, UB

Compositional Security Definitions for Higher-Order Where Declassification

Higher-order programs can now enjoy compositional security guarantees for fine-grained declassification, thanks to a novel logical relations model.

Jan Menz, Andrew K. Hirsch, Peixuan Li +1

Code Generation & Program Synthesis Natural Language Processing