• Sign in
  • Sign up
conf.researchr.org / Waqar Ahmad
  • ICSE 2019 profile
  • SPLASH 2015 profile

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

Share
xSun 22 May 21:50
using conf.researchr.org (v1.55.6)
Support page
Sign Up