T. Winterhalter

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Cezar-Constantin Andrici (1)Cezar-Constantin Andrici (1)Abigail Pribisova (1)Abigail Pribisova (1)

Papers (1)

Feb 23, 2026

3w ago·also INRIA, Tallinn University of Technology, University of Tartu

Misquoted No More: Securely Extracting F* Programs with IO

Achieve secure compilation for extracted F* programs with IO, guaranteeing Robust Relational Hyperproperty Preservation (RrHP)—a stronger security criterion than prior verified extraction work.

Cezar-Constantin Andrici, Cezar-Constantin Andrici, Abigail Pribisova +9

Code Generation & Program Synthesis

Search

T. Winterhalter

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)