5 ms·

Do you have any links for using Z3 in security proofs?