المؤلفون: Bursuc, Sergiu, Gil-Pons, Reynaldo, Mauw, Sjouke, Trujillo-Rasua, Rolando

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2401.06626

المؤلفون: Gadyatskaya, Olga, Mauw, Sjouke, Trujillo-Rasuac, Rolando, Willemse, Tim A. C.

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2311.13331

المؤلفون: Bursuc, Sergiu, Horne, Ross, Mauw, Sjouke, Yurkov, Semen

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2309.03128

المؤلفون: Smith, Zach, Jonker, Hugo, Mauw, Sjouke, Lee, Hyunwoo

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2201.08686

المؤلفون: Horne, Ross, Mauw, Sjouke, Yurkov, Semen

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2105.02029

المؤلفون: Braun, Christoph H.-J., Horne, Ross, Käfer, Tobias, Mauw, Sjouke

مصطلحات موضوعية: Electronic computers. Computer science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/89386/7/Braun-etal-ACM-2024-SSI-from-specifications-to-protocol.pdf; Braun, Christoph H.-J. and Horne, Ross and Käfer, Tobias and Mauw, Sjouke; (2024 ) SSI, from specifications to protocol? : Formally verify security! In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1620–1631. ISBN 9798400701719

الاتاحة: https://strathprints.strath.ac.uk/89386/
https://doi.org/10.1145/3589334.3645426

المؤلفون: Mauw, Sjouke, Ramírez-Cruz, Yunior, Trujillo-Rasua, Rolando

مصطلحات موضوعية: Computer Science - Social and Information Networks

URL الوصول: http://arxiv.org/abs/2007.05312

المؤلفون: Torres, Christof Ferreira, Baden, Mathis, Norvill, Robert, Pontiveros, Beltran Borja Fiz, Jonker, Hugo, Mauw, Sjouke

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2003.05987

المؤلفون: Horne, Ross, Mauw, Sjouke

المصدر: Logical Methods in Computer Science, Volume 17, Issue 2 (June 2, 2021) lmcs:6117

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2002.07309

المؤلفون: Chen, Xihui, Këpuska, Ema, Mauw, Sjouke, Ramírez-Cruz, Yunior

المصدر: Computer Security - ESORICS 2020. Springer, Lecture Notes in Computer Science 12309, pp. 185-205, 2020

مصطلحات موضوعية: Computer Science - Social and Information Networks

URL الوصول: http://arxiv.org/abs/1911.09534

المؤلفون: Chen, Xihui, Mauw, Sjouke, Ramírez-Cruz, Yunior

المصدر: Proceedings on Privacy Enhancing Technologies 2020(4):131-152, 2020

مصطلحات موضوعية: Computer Science - Social and Information Networks, Computer Science - Cryptography and Security, Physics - Physics and Society

URL الوصول: http://arxiv.org/abs/1909.00280

المؤلفون: Buldas, Ahto, Gadyatskaya, Olga, Lenin, Aleksandr, Mauw, Sjouke, Trujillo-Rasua, Rolando

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1812.10754

المؤلفون: Mauw, Sjouke, Ramírez-Cruz, Yunior, Trujillo-Rasua, Rolando

المصدر: Data Mining and Knowledge Discovery 33(5):1357-1392, 2019

مصطلحات موضوعية: Computer Science - Social and Information Networks

URL الوصول: http://arxiv.org/abs/1811.10915

المؤلفون: Crepaldi, Marco, Horne, Ross, Mauw, Sjouke

المصدر: Space Law in a Networked World ; page 162-186 ; ISBN 9789004527263 9789004527270

الاتاحة: https://doi.org/10.1163/9789004527270_008
https://brill.com/view/book/9789004527270/BP000009.xml
https://brill.com/downloadpdf/title/63561

المؤلفون: Mauw, Sjouke, Ramírez-Cruz, Yunior, Trujillo-Rasua, Rolando

المصدر: "Conditional adjacency anonymity in social graphs under active attacks", Knowledge and Information Systems 61(1):485-511, 2019

مصطلحات موضوعية: Computer Science - Social and Information Networks

URL الوصول: http://arxiv.org/abs/1704.07078

المؤلفون: GIL PONS, Reynaldo, MAUW, Sjouke, Trujillo-Rasua, Rolando

المصدر: Computer Communications, 210, 69 - 78 (2023-10)

مصطلحات موضوعية: Distance fraud, Mafia fraud, Security, Distance-bounding protocols, Relay attack, Security protocols, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0140-3664; https://orbilu.uni.lu/handle/10993/60068; info:hdl:10993/60068; wos:001058646800001

الاتاحة: https://orbilu.uni.lu/handle/10993/60068
https://orbilu.uni.lu/bitstream/10993/60068/1/1-s2.0-S0140366423002669-main.pdf
https://doi.org/10.1016/j.comcom.2023.07.033

المؤلفون: HORNE, Ross James, MAUW, Sjouke, MIZERA, Andrzej, Stemper, André, THOEMEL, Jan

المصدر: Journal of Aerospace Information Systems, 1-14 (2023-08-25)

مصطلحات موضوعية: Electrical and Electronic Engineering, Computer Science Applications, Aerospace Engineering, Engineering, computing & technology, Aerospace & aeronautics engineering, Ingénierie, informatique & technologie, Ingénierie aérospatiale

Relation: urn:issn:2327-3097; https://orbilu.uni.lu/handle/10993/57221; info:hdl:10993/57221

الاتاحة: https://orbilu.uni.lu/handle/10993/57221
https://orbilu.uni.lu/bitstream/10993/57221/1/horne-et-al-2023-anomaly-detection-using-deep-learning-respecting-the-resources-on-board-a-cubesat.pdf
https://doi.org/10.2514/1.i011232

المؤلفون: Höhn, Sviatlana, Mauw, Sjouke, Asher, Nicholas

المساهمون: Université du Luxembourg = University of Luxembourg = Universität Luxemburg (uni.lu), MEthodes et ingénierie des Langues, des Ontologies et du DIscours (IRIT-MELODI), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), AAAI

المصدر: Proceedings of the International AAAI Conference on Web and Social Media ; Proceedings of the Sixteenth International AAAI Conference on Web and Social Media ; https://hal.science/hal-04829646 ; Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, AAAI, Jun 2022, Atlanta (GA), United States. pp.1268-1274

مصطلحات موضوعية: [INFO]Computer Science [cs], [SHS]Humanities and Social Sciences

جغرافية الموضوع: Atlanta (GA), United States

الاتاحة: https://hal.science/hal-04829646
https://hal.science/hal-04829646v1/document
https://hal.science/hal-04829646v1/file/19378-Article%20Text-23391-1-2-20220531.pdf

المؤلفون: Acclavio, Matteo, Horne, Ross, Mauw, Sjouke, Straßburger, Lutz

المساهمون: Felty, Amy P.

مصطلحات موضوعية: Electronic computers. Computer science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/86952/1/Acclavio_etal_FSCD_2022_A_graphical_proof_theory_of_logical_time.pdf; Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Straßburger, Lutz; Felty, Amy P., ed. (2022 ) A graphical proof theory of logical time. In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISR, 22:1-22:25. ISBN 9783959772334

الاتاحة: https://strathprints.strath.ac.uk/86952/
https://strathprints.strath.ac.uk/86952/1/Acclavio_etal_FSCD_2022_A_graphical_proof_theory_of_logical_time.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2022.22

المؤلفون: Horne, Ross James, Mauw, Sjouke, Yurkov, Semen

المصدر: 35th IEEE Computer Security Foundations Symposium (CSF), Haifa, Israel [IL], from 07-08-2022 to 10-08-2022

مصطلحات موضوعية: unlinkability, authentication, key agreement, protocols, bisimilarity, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: FNR10621687 - Security And Privacy For System Protection, 2015 (01/01/2017-30/06/2023) - Sjouke Mauw; https://orbilu.uni.lu/handle/10993/51374; info:hdl:10993/51374; https://orbilu.uni.lu/bitstream/10993/51374/1/main.pdf

الاتاحة: https://orbilu.uni.lu/handle/10993/51374
https://orbilu.uni.lu/bitstream/10993/51374/1/main.pdf