The responsible way to use AI for cybersecurity is to automatically generate formally verified reimplementations, and for bonus points, to help people write good formal specs.Automating finding (and…

Posters: davidad. davidad

3 likes recorded by the source corpus.