BibTeX records: Fahd Arshad

• > Home > Persons > Fahd Arshad

@inproceedings{DBLP:conf/ftscs/ArshadMRH15,
  author       = {Fahd Arshad and
                  Hassan Mehmood and
                  Fauzan Raza and
                  Osman Hasan},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {g-HOL: {A} Graphical User Interface for the {HOL} Proof Assistant},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Fourth International
                  Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {596},
  pages        = {265--269},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29510-7\_16},
  doi          = {10.1007/978-3-319-29510-7\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/ArshadMRH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/RobertsMKA07,
  author       = {Rachel R. M. Roberts and
                  Roy A. Maxion and
                  Kevin S. Killourhy and
                  Fahd Arshad},
  title        = {User Discrimination through Structured Writing on PDAs},
  booktitle    = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
                  Proceedings},
  pages        = {378--388},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DSN.2007.97},
  doi          = {10.1109/DSN.2007.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/RobertsMKA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieeesp/ReederA05,
  author       = {Robert W. Reeder and
                  Fahd Arshad},
  title        = {Soups 2005},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {3},
  number       = {5},
  pages        = {47--50},
  year         = {2005},
  url          = {https://doi.org/10.1109/MSP.2005.131},
  doi          = {10.1109/MSP.2005.131},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/ReederA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}