Announcement_17

Created on July 01, 2023

2023

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