BibTeX records: Omar Almousa

download as .bib file

@article{DBLP:journals/ijdsn/TashtoushDKDMSK22,
  author       = {Yahya M. Tashtoush and
                  Dirar A. Darweesh and
                  Ola Karajeh and
                  Omar A. Darwish and
                  Majdi Maabreh and
                  Safa' Swedat and
                  Rawan Koraysh and
                  Omar Almousa and
                  Nasser Alsaedi},
  title        = {Survey on authentication and security protocols and schemes over 5G
                  networks},
  journal      = {Int. J. Distributed Sens. Networks},
  volume       = {18},
  number       = {10},
  pages        = {155013292211266},
  year         = {2022},
  url          = {https://doi.org/10.1177/15501329221126609},
  doi          = {10.1177/15501329221126609},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijdsn/TashtoushDKDMSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dk/Almousa16,
  author       = {Omar Almousa},
  title        = {Security Protocols: Specification, Verification, Implementation, and
                  Composition},
  school       = {Technical University of Denmark},
  year         = {2016},
  url          = {https://orbit.dtu.dk/en/publications/3c09a1b3-4c96-4bff-8657-2edb6858b6b1},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dk/Almousa16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlmousaMV15,
  author       = {Omar Almousa and
                  Sebastian M{\"{o}}dersheim and
                  Luca Vigan{\`{o}}},
  editor       = {Chiara Bodei and
                  Gian{-}Luigi Ferrari and
                  Corrado Priami},
  title        = {Alice and Bob: Reconciling Formal Models and Implementation},
  booktitle    = {Programming Languages with Applications to Biology and Security -
                  Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9465},
  pages        = {66--85},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25527-9\_7},
  doi          = {10.1007/978-3-319-25527-9\_7},
  timestamp    = {Fri, 23 Jun 2023 22:30:53 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AlmousaMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/AlmousaMMV15,
  author       = {Omar Almousa and
                  Sebastian M{\"{o}}dersheim and
                  Paolo Modesti and
                  Luca Vigan{\`{o}}},
  editor       = {G{\"{u}}nther Pernul and
                  Peter Y. A. Ryan and
                  Edgar R. Weippl},
  title        = {Typing and Compositionality for Security Protocols: {A} Generalization
                  to the Geometric Fragment},
  booktitle    = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research
                  in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9327},
  pages        = {209--229},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24177-7\_11},
  doi          = {10.1007/978-3-319-24177-7\_11},
  timestamp    = {Sat, 19 Oct 2019 20:00:24 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/AlmousaMMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics