conf.researchr.org / Waqar Ahmad

Registered user since Wed 16 Sep 2015

Name: Waqar Ahmad

Affiliation: Carnegie Mellon University

Contributions

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