“AttackIQ, a platform for verifying corporate security tools and proposing improvements”