The DEEPSEC Prover.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Browse the full CAV paper archive.