Vulnerabilities in Certified Asterisk