Simple Infeasibility Certificates for Attack Trees.

Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord

Browse the full IWSEC paper archive.