Waqar Ahmad -

Registered user since Wed 16 Sep 2015

Name:Waqar Ahmad

Affiliation:Carnegie Mellon University

Contributions

FormaliSE 2019	Author of On the Formalization of Importance Measures using HOL Theorem Proving within the FormaliSE 2019-track
MobileDeLi 2015	Author of Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem within the MobileDeLi-track