المؤلفون: Ahmed, Abu Shohel, Peltonen, Aleksi, Sethi, Mohit, Aura, Tuomas

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

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

المؤلفون: Ahmed, Abu Shohel, Peltonen, Aleksi, Sethi, Mohit, Aura, Tuomas

المساهمون: Department of Computer Science, Professorship Aura Tuomas, Helsinki-Aalto Institute for Cybersecurity (HAIC), Computer Science Professors, Computer Science - Security and Privacy (securityprivacy), Helsinki Institute for Information Technology (HIIT), Aalto-yliopisto, Aalto University

مصطلحات موضوعية: eSIM, formal modeling and verification, Mobile communication

وصف الملف: application/pdf

Relation: ACM Transactions on Privacy and Security; Volume 27, issue 3, pp. 1-36; PURE LINK: http://www.scopus.com/inward/record.url?scp=85201870771&partnerID=8YFLogxK; PURE FILEURL: https://research.aalto.fi/files/154627160/SCI_Ahmed_etal_ACM_Transactions_on_Privacy_and_Security_2024.pdf; https://aaltodoc.aalto.fi/handle/123456789/130369

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/130369
https://doi.org/10.1145/3663761

المؤلفون: Sethi, Mohit, Peltonen, Aleksi, Aura, Tuomas

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

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

المؤلفون: Peltonen, Aleksi, Sasse, Ralf, Basin, David

المساهمون: Academy of Finland

المصدر: Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks

الاتاحة: http://dx.doi.org/10.1145/3448300.3467823
https://dl.acm.org/doi/pdf/10.1145/3448300.3467823

المؤلفون: Peltonen, Aleksi, Sethi, Mohit, Aura, Tuomas

المساهمون: Department of Computer Science, Professorship Aura Tuomas, Helsinki Institute for Information Technology (HIIT), Computer Science - Security and Privacy (securityprivacy), Helsinki-Aalto Institute for Cybersecurity (HAIC), Aalto-yliopisto, Aalto University

مصطلحات موضوعية: Bluetooth, Device pairing, DPP, EAP-NOOB, Formal modelling, IoT Security, Misbinding attack, ProVerif

وصف الملف: application/pdf

Relation: Journal of Information Security and Applications; Volume 51; Peltonen, A, Sethi, M & Aura, T 2020, ' Formal verification of misbinding attacks on secure device pairing and bootstrapping ', Journal of Information Security and Applications, vol. 51, 102461 . https://doi.org/10.1016/j.jisa.2020.102461; PURE UUID: e09c1262-6e77-4756-bac2-b9eb1fd7c326; PURE ITEMURL: https://research.aalto.fi/en/publications/e09c1262-6e77-4756-bac2-b9eb1fd7c326; PURE LINK: http://www.scopus.com/inward/record.url?scp=85079285839&partnerID=8YFLogxK; PURE FILEURL: https://research.aalto.fi/files/42017260/Peltonen_Formal_Verification.1_s2.0_S2214212619307215_main.pdf; https://aaltodoc.aalto.fi/handle/123456789/43939; URN:NBN:fi:aalto-202004282923

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/43939
https://doi.org/10.1016/j.jisa.2020.102461

المؤلفون: Peltonen, Aleksi, Inglés, Eduardo, Latvala, Sampsa, Garcia-Carrillo, Dan, Sethi, Mohit, Aura, Tuomas

المساهمون: Department of Computer Science, University of Murcia, Odin Solutions S.L., Helsinki Institute for Information Technology (HIIT), Aalto-yliopisto, Aalto University

مصطلحات موضوعية: Bootstrapping, Contiki, EAP-NOOB, IoT, Security

وصف الملف: 1-23; application/pdf

Relation: info:eu-repo/grantAgreement/EC/H2020/779852/EU//IoTCrawler; Sensors (Switzerland); Volume 20, issue 21; Peltonen , A , Inglés , E , Latvala , S , Garcia-Carrillo , D , Sethi , M & Aura , T 2020 , ' Enterprise security for the internet of things (IOT) : Lightweight bootstrapping with EAP-NOOB ' , Sensors (Switzerland) , vol. 20 , no. 21 , 6101 , pp. 1-23 . https://doi.org/10.3390/s20216101; PURE UUID: 256e3f28-a452-4076-8b24-13231e3de37e; PURE ITEMURL: https://research.aalto.fi/en/publications/256e3f28-a452-4076-8b24-13231e3de37e; PURE LINK: http://www.scopus.com/inward/record.url?scp=85094938054&partnerID=8YFLogxK; PURE FILEURL: https://research.aalto.fi/files/53152738/Peltonen_Enterprise.sensors_20_06101_v2.pdf; https://aaltodoc.aalto.fi/handle/123456789/61656; URN:NBN:fi:aalto-2020113020501

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/61656
https://doi.org/10.3390/s20216101

المؤلفون: Peltonen, Aleksi, author

المصدر: The New Histories of International Criminal Law : Retrials, 2019.

الاتاحة: https://doi.org/10.1093/oso/9780198829638.003.0012

المؤلفون: Peltonen, Aleksi

مصطلحات موضوعية: Rakentamisen projektinhallinta, fi=Rakennus- ja yhdyskuntatekniikka|sv=Byggnads- och samhällsteknik|en=Civil and Construction Engineering, tietomallit, rakentaminen, mallintaminen, rakennusala, kehittäminen, rakennukset, projektit, talotekniikka, Rakennustekniikan tutkinto-ohjelma

Relation: NCC Suomi Oy; http://www.theseus.fi/handle/10024/809749; URN:NBN:fi:amk-2023111029102

الاتاحة: http://www.theseus.fi/handle/10024/809749

المؤلفون: Koutcheme, Charles, Tilanterä, Artturi, Peltonen, Aleksi, Hellas, Arto, Haaranen, Lassi

المصدر: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1

الاتاحة: http://dx.doi.org/10.1145/3502718.3524748
https://dl.acm.org/doi/pdf/10.1145/3502718.3524748

المؤلفون: Koutcheme, Charles, Tilanterä, Artturi, Peltonen, Aleksi, Hellas, Arto, Haaranen, Lassi

المساهمون: Department of Computer Science, Lecturer Korhonen Ari group, Computer Science Lecturers, Lecturer Haaranen Lassi group, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: education, problem solving, sql injection, database security

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______661::4e239734c7f89959993b22a5cdb5cc71
https://aaltodoc.aalto.fi/handle/123456789/116570

المؤلفون: Peltonen, Aleksi

مصطلحات موضوعية: fi=Liiketalous, hallinto ja markkinointi|sv=Företagsekonomi, förvaltning och marknadsföring|en=Business Management, Administration and Marketing, työmotivaatio, palkitseminen, pandemiat, etätyö, Liiketalous

Relation: http://www.theseus.fi/handle/10024/510899; URN:NBN:fi:amk-2021120824600

الاتاحة: http://www.theseus.fi/handle/10024/510899

المؤلفون: Peltonen, Aleksi

مصطلحات موضوعية: Kilpa- ja huippu-urheilu, fi=Liikunta-ala|sv=Idrottsbranschen|en=Sports studies, psyykkinen valmennus, harjoittelu, valmennus, jääkiekko, urheilu, Liikunnan ja vapaa-ajan koulutusohjelma, Liikunnanohjaaja (AMK)

Relation: Aleksi Peltonen; http://www.theseus.fi/handle/10024/496296; URN:NBN:fi:amk-202105057046

الاتاحة: http://www.theseus.fi/handle/10024/496296

المؤلفون: Peltonen, Aleksi

مصطلحات موضوعية: Sulautetut järjestelmät ja elektroniikka, fi=Tieto- ja viestintätekniikka|sv=Informations- och kommunikationsteknik|en=Information and Communications Technology, suorituskyky, robotiikka, käyttöliittymät, testaus, Python, ohjelmistokehitys, pilvipalvelut, Tieto- ja viestintätekniikan tutkinto-ohjelma

Relation: QAutomate Oy; http://www.theseus.fi/handle/10024/336668; URN:NBN:fi:amk-202005047028

الاتاحة: http://www.theseus.fi/handle/10024/336668

المؤلفون: Peltonen, Aleksi

المساهمون: Sethi, Mohit, Dr., Aalto University, Department of Computer Science, Finland, Perustieteiden korkeakoulu, School of Science, Tietotekniikan laitos, Department of Computer Science, Aura, Tuomas, Prof., Aalto University, Department of Computer Science, Finland, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: Computer science, formal verification, cryptographic protocols, device bootstrapping, standardization, formaali verifiointi, salausprotokollat, standardointi

وصف الملف: application/pdf

Relation: Aalto University publication series DOCTORAL THESES; 101/2023; [Publication 1]: Mohit Sethi, Aleksi Peltonen, and Tuomas Aura. Misbinding Attacks on Secure Device Pairing and Bootstrapping. In Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security (Asia CCS ’19), pages 453–464, July 2019. Full text in Acris/Aaltodoc: http://urn.fi/URN:NBN:fi:aalto-201909205369. DOI:10.1145/3321705.3329813; [Publication 2]: Aleksi Peltonen, Mohit Sethi, and Tuomas Aura. Formal verification of misbinding attacks on secure device pairing and bootstrapping. Journal of Information Security and Applications (JISA), 51, February 2020. Full text in Acris/Aaltodoc: http://urn.fi/URN:NBN:fi:aalto-202004282923. DOI:10.1016/j.jisa.2020.102461; [Publication 3]: Abu Shohel Ahmed, Aleksi Peltonen, Mohit Sethi, and Tuomas Aura. Security Analysis of the Consumer Remote SIM Provisioning Protocol. Submitted for publication, November 2022.; [Publication 4]: Aleksi Peltonen, Ralf Sasse, and David Basin. A Comprehensive Formal Analysis of 5G Handover. In Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec ’21), pages 1–12, June 2021. Full text in Acris/Aaltodoc: http://urn.fi/URN:NBN:fi:aalto-202108048172. DOI:10.1145/3448300.3467823; [Publication 5]: Aleksi Peltonen, Eduardo Ingles, Sampsa Latvala, Dan Garcia-Carrillo, Mohit Sethi, and Tuomas Aura. Enterprise Security for the Internet of Things (IoT): Lightweight Bootstrapping with EAP-NOOB. Sensors, 20(21), October 2020. Full text in Acris/Aaltodoc: http://urn.fi/URN:NBN:fi:aalto-2020113020501. DOI:10.3390/s20216101; 1799-4942 (electronic); 1799-4934 (printed); 1799-4934 (ISSN-L); https://aaltodoc.aalto.fi/handle/123456789/122125; URN:ISBN:978-952-64-1334-1

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/122125

المؤلفون: Peltonen, Aleksi

المساهمون: Lahden ammattikorkeakoulu

مصطلحات موضوعية: Biokomposiitti, Biomateriaali, Sienimateriaalit, Sienirihmasto, Materiaalitutkimus, Kalustemuotoilu, fi=Muotoilu|sv=Formgivning|en=Design, Muotoilun koulutus

Relation: URN:NBN:fi:amk-201805147935; http://www.theseus.fi/handle/10024/145922; 10024/311

الاتاحة: http://www.theseus.fi/handle/10024/145922

Additional Titles: Formell Modellering och Verifiering av EAP-NOOB Protokollet

المؤلفون: Sethi, Mohit, Perustieteiden korkeakoulu, Aura, Tuomas, Peltonen, Aleksi

مصطلحات الفهرس: G2 Pro gradu, diplomityö

المؤلفون: Peltonen, Aleksi

المساهمون: Puintila, Simo, Taiteiden ja suunnittelun korkeakoulu, School of Arts, Design and Architecture, muo, Aalto University, Aalto-yliopisto

مصطلحات موضوعية: design, product design, industrial design, vehicle design, bicycle, contemporary design, archi, info

Relation: https://aaltodoc.aalto.fi/handle/123456789/118250

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/118250

المؤلفون: Peltonen, Aleksi

المساهمون: Puintila, Simo, Taiteiden ja suunnittelun korkeakoulu, School of Arts, Design and Architecture, muo, Aalto University, Aalto-yliopisto

مصطلحات موضوعية: design, product design, industrial design, vehicle design, bicycle, contemporary design

وصف الملف: application/pdf

Relation: https://aaltodoc.aalto.fi/handle/123456789/118250; URN:NBN:fi:aalto-202212186992

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/118250

المؤلفون: Peltonen, Aleksi

المساهمون: Sethi, Mohit, Perustieteiden korkeakoulu, Aura, Tuomas, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: IoT, EAP, EAP-NOOB, mCRL2, formal verification, model checking

وصف الملف: application/pdf

Relation: https://aaltodoc.aalto.fi/handle/123456789/33771; URN:NBN:fi:aalto-201809034896

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/33771

المؤلفون: Peltonen, Aleksi

المساهمون: Juuti, Mika, Perustieteiden korkeakoulu, Tietotekniikan laitos, Rousu, Juho, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: autentisering, kontextuell information, flerfaktorsautentisering, biometrisk autentisering, kontinuerlig autentisering

وصف الملف: application/pdf

Relation: https://aaltodoc.aalto.fi/handle/123456789/22690; URN:NBN:fi:aalto-201610114733

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/22690