Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits