Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Omar Almousa
@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} }
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.