x

Simon Henniger

Message

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

19

2mo

Simon Henniger

Subscribe

Message

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

19

2mo

How to Solve Secure Program Synthesis

by Max von Hippel, Simon Henniger, Quinn Dougherty, and miyazono

Introduction Secure program synthesis (SPS) is the problem of automatically generating, or “synthesizing”, software which is known to be secure. In practice, this manifests as the triple-task of synthesizing some software S, a specification φ saying what it would mean for S to be “secure”, and a proof P that...

Mar 3023