BibTeX records: Wilayat Khan

download as .bib file

@article{DBLP:journals/access/AhmedAKAAKA23,
  author       = {Muzammil Ahmed and
                  Ahmed B. Altamimi and
                  Wilayat Khan and
                  Mohammad Salih Alsaffar and
                  Aakash Ahmad and
                  Zawar H. Khan and
                  Abdulrahman Alreshidi},
  title        = {PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using
                  Machine Learning},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {61249--61263},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3287226},
  doi          = {10.1109/ACCESS.2023.3287226},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/AhmedAKAAKA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/QamarKBJHAA23,
  author       = {Aamir Qamar and
                  Wilayat Khan and
                  Belawal Behram and
                  Umer Javed and
                  Mohd Anul Haq and
                  Sultan Alharby and
                  Ahmed Alhussen},
  title        = {Assessing Grounding Grid Robustness Through Analysis of Static Fields},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {102508--102514},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3313731},
  doi          = {10.1109/ACCESS.2023.3313731},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/QamarKBJHAA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/monet/AhmadMAKS23,
  author       = {Aakash Ahmad and
                  Asad Waqar Malik and
                  Abdulrahman A. Alshdadi and
                  Wilayat Khan and
                  Maryam Sajjad},
  title        = {Adaptive Security for Self-Protection of Mobile Computing Devices},
  journal      = {Mob. Networks Appl.},
  volume       = {28},
  number       = {2},
  pages        = {1--20},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11036-019-01355-y},
  doi          = {10.1007/S11036-019-01355-Y},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/monet/AhmadMAKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-04192,
  author       = {Wilayat Khan and
                  Zhe Hou and
                  David San{\'{a}}n and
                  Jamel Nebhen and
                  Yang Liu and
                  Alwen Tiu},
  title        = {An Executable Formal Model of the {VHDL} in Isabelle/HOL},
  journal      = {CoRR},
  volume       = {abs/2202.04192},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.04192},
  eprinttype    = {arXiv},
  eprint       = {2202.04192},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-04192.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/complexity/KhanKDA21,
  author       = {Wilayat Khan and
                  Farrukh Aslam Khan and
                  Abdelouahid Derhab and
                  Adi Alhudhaif},
  title        = {CoCEC: An Automatic Combinational Circuit Equivalence Checker Based
                  on the Interactive Theorem Prover},
  journal      = {Complex.},
  volume       = {2021},
  pages        = {5525539:1--5525539:12},
  year         = {2021},
  url          = {https://doi.org/10.1155/2021/5525539},
  doi          = {10.1155/2021/5525539},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/complexity/KhanKDA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/itpro/AhmadAASK21,
  author       = {Aakash Ahmad and
                  Adel Alkhalil and
                  Ahmed B. Altamimi and
                  Khalid Sultan and
                  Wilayat Khan},
  title        = {Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled
                  Application},
  journal      = {{IT} Prof.},
  volume       = {23},
  number       = {1},
  pages        = {42--50},
  year         = {2021},
  url          = {https://doi.org/10.1109/MITP.2020.2975997},
  doi          = {10.1109/MITP.2020.2975997},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/itpro/AhmadAASK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/itpro/KhanAQKA21,
  author       = {Wilayat Khan and
                  Aakash Ahmad and
                  Aamir Qamar and
                  Muhammad Kamran and
                  Muhammad Altaf},
  title        = {SpoofCatch: {A} Client-Side Protection Tool Against Phishing Attacks},
  journal      = {{IT} Prof.},
  volume       = {23},
  number       = {2},
  pages        = {65--74},
  year         = {2021},
  url          = {https://doi.org/10.1109/MITP.2020.3006477},
  doi          = {10.1109/MITP.2020.3006477},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itpro/KhanAQKA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/itpro/AhmadAASK21a,
  author       = {Aakash Ahmad and
                  Adel Alkhalil and
                  Ahmed B. Altamimi and
                  Khalid Sultan and
                  Wilayat Khan},
  title        = {Corrections to "Modernizing Legacy Software as Context-Sensitive
                  and Portable Mobile-Enabled Application"},
  journal      = {{IT} Prof.},
  volume       = {23},
  number       = {3},
  pages        = {110},
  year         = {2021},
  url          = {https://doi.org/10.1109/MITP.2021.3060976},
  doi          = {10.1109/MITP.2021.3060976},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itpro/AhmadAASK21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/wicomm/KhanKNKAA20,
  author       = {Wilayat Khan and
                  Muhammad Kamran and
                  Syed Rameez Naqvi and
                  Farrukh Aslam Khan and
                  Ahmed S. Alghamdi and
                  Eesa Alsolami},
  title        = {Formal Verification of Hardware Components in Critical Systems},
  journal      = {Wirel. Commun. Mob. Comput.},
  volume       = {2020},
  pages        = {7346763:1--7346763:15},
  year         = {2020},
  url          = {https://doi.org/10.1155/2020/7346763},
  doi          = {10.1155/2020/7346763},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wicomm/KhanKNKAA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/KhanKAKD19,
  author       = {Wilayat Khan and
                  Muhammad Kamran and
                  Aakash Ahmad and
                  Farrukh Aslam Khan and
                  Abdelouahid Derhab},
  title        = {Formal Analysis of Language-Based Android Security Using Theorem Proving
                  Approach},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {16550--16560},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2895261},
  doi          = {10.1109/ACCESS.2019.2895261},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/KhanKAKD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/KhanSHY19,
  author       = {Wilayat Khan and
                  David San{\'{a}}n and
                  Zhe Hou and
                  Yang Liu},
  title        = {On embedding a hardware description language in Isabelle/HOL},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {23},
  number       = {3-4},
  pages        = {123--151},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10617-019-09226-1},
  doi          = {10.1007/S10617-019-09226-1},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/KhanSHY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jifs/NazKMKAAA19,
  author       = {Farah Naz and
                  Muhammad Kamran and
                  Waqar Mehmood and
                  Wilayat Khan and
                  Mohammed Saeed Alkatheiri and
                  Ahmed S. Alghamdi and
                  Abdulrahman A. Alshdadi},
  title        = {Automatic identification of sarcasm in tweets and customer reviews},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {37},
  number       = {5},
  pages        = {6815--6828},
  year         = {2019},
  url          = {https://doi.org/10.3233/JIFS-190596},
  doi          = {10.3233/JIFS-190596},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jifs/NazKMKAAA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/hcis/KhanUASAKAA18,
  author       = {Wilayat Khan and
                  Habib Ullah and
                  Aakash Ahmad and
                  Khalid Sultan and
                  Abdullah J. Alzahrani and
                  Sultan Daud Khan and
                  Mohammad Alhumaid and
                  Sultan Abdulaziz},
  title        = {CrashSafe: a formal model for proving crash-safety of Android applications},
  journal      = {Hum. centric Comput. Inf. Sci.},
  volume       = {8},
  pages        = {21},
  year         = {2018},
  url          = {https://doi.org/10.1186/s13673-018-0144-7},
  doi          = {10.1186/S13673-018-0144-7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/hcis/KhanUASAKAA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijon/UllahUUKAK17,
  author       = {Habib Ullah and
                  Muhammad Uzair and
                  Mohib Ullah and
                  Asif Khan and
                  Ayaz Ahmad and
                  Wilayat Khan},
  title        = {Density independent hydrodynamics model for crowd coherency detection},
  journal      = {Neurocomputing},
  volume       = {242},
  pages        = {28--39},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.neucom.2017.02.023},
  doi          = {10.1016/J.NEUCOM.2017.02.023},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijon/UllahUUKAK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sgcrc/KhanTS17,
  author       = {Wilayat Khan and
                  Alwen Tiu and
                  David San{\'{a}}n},
  editor       = {Abhik Roychoudhury and
                  Yang Liu},
  title        = {VeriFormal: An Executable Formal Model of a Hardware Description Language},
  booktitle    = {A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore
                  Cyber-Security R{\&}D Conference {(SG-CRC} 2017), Singapore, February
                  21-22, 2017},
  series       = {Cryptology and Information Security Series},
  volume       = {15},
  pages        = {19--36},
  publisher    = {{IOS} Press},
  year         = {2017},
  url          = {https://doi.org/10.3233/978-1-61499-744-3-19},
  doi          = {10.3233/978-1-61499-744-3-19},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sgcrc/KhanTS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcs/BugliesiCFK15,
  author       = {Michele Bugliesi and
                  Stefano Calzavara and
                  Riccardo Focardi and
                  Wilayat Khan},
  title        = {CookiExt: Patching the browser against session hijacking attacks},
  journal      = {J. Comput. Secur.},
  volume       = {23},
  number       = {4},
  pages        = {509--537},
  year         = {2015},
  url          = {https://doi.org/10.3233/JCS-150529},
  doi          = {10.3233/JCS-150529},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcs/BugliesiCFK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/it/Khan14a,
  author       = {Wilayat Khan},
  title        = {Web session security: formal verification, client-side enforcement
                  and experimental analysis},
  school       = {Ca' Foscari University of Venice, Italy},
  year         = {2014},
  url          = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD16022620},
  timestamp    = {Sat, 06 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Khan14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/BugliesiCFKT14,
  author       = {Michele Bugliesi and
                  Stefano Calzavara and
                  Riccardo Focardi and
                  Wilayat Khan and
                  Mauro Tempesta},
  title        = {Provably Sound Browser-Based Enforcement of Web Session Integrity},
  booktitle    = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
                  Austria, 19-22 July, 2014},
  pages        = {366--380},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CSF.2014.33},
  doi          = {10.1109/CSF.2014.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/BugliesiCFKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/essos/BugliesiCFK14,
  author       = {Michele Bugliesi and
                  Stefano Calzavara and
                  Riccardo Focardi and
                  Wilayat Khan},
  editor       = {Jan J{\"{u}}rjens and
                  Frank Piessens and
                  Nataliia Bielova},
  title        = {Automatic and Robust Client-Side Protection for Cookie-Based Sessions},
  booktitle    = {Engineering Secure Software and Systems - 6th International Symposium,
                  ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8364},
  pages        = {161--178},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04897-0\_11},
  doi          = {10.1007/978-3-319-04897-0\_11},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/essos/BugliesiCFK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iciss/KhanCBGP14,
  author       = {Wilayat Khan and
                  Stefano Calzavara and
                  Michele Bugliesi and
                  Willem De Groef and
                  Frank Piessens},
  editor       = {Atul Prakash and
                  Rudrapatna K. Shyamasundar},
  title        = {Client Side Web Session Integrity as a Non-interference Property},
  booktitle    = {Information Systems Security - 10th International Conference, {ICISS}
                  2014, Hyderabad, India, December 16-20, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8880},
  pages        = {89--108},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13841-1\_6},
  doi          = {10.1007/978-3-319-13841-1\_6},
  timestamp    = {Wed, 12 May 2021 16:44:21 +0200},
  biburl       = {https://dblp.org/rec/conf/iciss/KhanCBGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.