Announcement_17

Our paper Smart Contract Synthesis Modulo Hyperproperties won a Distinguished Paper Award at CSF’23! Find the paper here.