- Bodies.dissemination-committee

[SPARTA - bodies.dissemination-committee] info on published paper (earlier announced)

by mchoras＠itti.com.pl

Dear Dissemination Committee, The previously announced accepted paper is now published in Future Generation Computer Systems (IF=5,768). I am sending attached the 'authors version' that can be posted online (if necessary) with the proper citation/reference: Pawlicki M., Choras M., Kozik R., Defending network intrusion detection systems against adversarial evasion attacks , Future Generation Computer Systems, Volume 110, September 2020, Pages 148-154, 2020. The link: https://www.sciencedirect.com/science/article/abs/pii/S0167739X20303368 Stay safe, Kind Regards, prof. Michal Choras -------------------------- Wiadomość oryginalna -------------------------- Temat: [Fwd: Request for SPARTA acknowledgment in paper] Od: mchoras(a)itti.com.pl Data: 7 Kwietnia 2020, 9:59 pm, Wt Do: bodies.dissemination-committee(a)internal.sparta.eu -------------------------------------------------------------------------- Dear All, Just to let you know, the announced journal paper has been accepted :-). We will share the final version in due time. Regards, prof. Michal Choras -------------------------- Wiadomość oryginalna -------------------------- Temat: Request for SPARTA acknowledgment in paper Od: mchoras(a)itti.com.pl Data: 26 Stycznia 2020, 7:57 pm, N Do: bodies.dissemination-committee(a)internal.sparta.eu -------------------------------------------------------------------------- Dear All, We submitted Sparta/Safair relevant paper (attached) to FGCS (Elsevier). Title: Defending Network Intrusion Detection Systems against Adversarial Evasion Attacks By: Pawlicki, Choras, Kozik. If accepted we plan to acknowledge SPARTA. Kind Regards, Prof. Michal Choras

5 years, 4 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in paper

by Eren Cakmak

Dear All, we submitted a workshop paper "ModelSpeX: Model Specification Using Explainable Artificial Intelligence Methods" to the**MLVis 2020 Workshop. We request to acknowledge SPARTA if the paper is accepted. Abstract: * /Explainable artificial intelligence (XAI) methods aim to reveal the non-transparent decision-making mechanisms of black-box models (e.g., deep learning models). The evaluation of insight generated by such XAI methods remains challenging as the applied techniques depend on many factors (e.g., parameters, human interpretation). We propose ModelSpeX, a visual analytics workflow to interactively extract human-centered rule-sets to generate model specifications from black-box models. The workflow enables to reason about the underlying problem, to extract rule sets, and to evaluate the suitability of the models for a particular task. An exemplary usage scenario walks an analyst trough the steps of the workflow to show the applicability.// // / Best Regards, Eren Cakmak

5 years, 5 months

1
1
0 0

[SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in paper

by Giorgio Bernardinetti (CNIT)

Dear all, We have submitted the paper “Disconnection attacks against LoRaWAN 1.0.X ABP devices” which has been accepted in the IEEE MetComNet 2020 conference. The paper is about IoT devices security, and as such is strongly related to WP6. We would like to acknowledge the SPARTA project. Please find the abstract below. Best regards, Giorgio Bernardinetti > Abstract - Previous research work has already documented vulnerabilities of LoRaWAN 1.0.x, in the form of Replay Attacks which may cause disconnection situations. To face (also) these concerns, modern network servers implement careful techniques to handle sequence numbers (frame counters) in the presence of unexpected/out-of-sequence messages. In this paper we show that, despite such patches, the problem of dis- connection attacks is still widely open. We document a number of new replay-type attacks which target ABP (Activation By Personalization) devices, namely devices which are deployed with an hard-coded set of session keys, and which may cause a range of disconnection situations, including extremely long term ones - the worst case being in the order of 232 message transmissions (hundreds/thousands years considering ordinary IoT rates). We demonstrate the feasibility of the proposed attacks by analyzing its impact on three different LoRaWAN network server implementations (two well known open-source network servers, and a proprietary network server co-developed by us), and by experimentally demonstrate their practicality on two of said network servers (ours and ChirpStack). Finally, we discuss trade-offs and mitigation actions, though we remark that these attacks appear intrinsic in the LoRaWAN 1.0.x specification, and can be ultimately fixed only by migrating to LoRaWAN 1.1. -- ====================================================== Giorgio Bernardinetti CNIT - National Inter-University Consortium for Telecommunications Electronic Engineering Department University of Rome "Tor Vergata" Via del Politecnico 1, 00133 Roma, Italy Phone: +39 06 7259 7773 Email: giorgio.bernardinetti(a)cnit.it ======================================================

5 years, 5 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Paper: Towards Formal Verification of IoT Protocols: A Review

by Hofer-Schmitz, Katharina

Dear All, we plan to submit a journal paper with the title: Towards Formal Verification of IoT Protocols: A Review We do not have any sensitive information in the journal paper. The abstract is below: Abstract: Formal verification is a crucial method to detect possible weaknesses and possible vulnerabilities already at an early stage. Formal Verification is one of the crucial method to detect possible weaknesses and vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety of protocols used in the IoT environment. It gives detailed descriptions of the considered properties and the applied methods. An in-depth literature review shows that four application fields can be distinguished, namely: (1) functional checks, (2) checks on security properties, (3) suggestions for enhanced schemes including a priori security property checks and (4) implementation checks of protocols. This paper further offers a comprehensive overview of the covered security properties and of commonly used tools for protocols in the field. Additionally, an extensive description and overview of commonly used model checkers is given and open issues and challenges in the IoT field are addressed. If accepted, we plan to acknowledge SPARTA. Best regards, Katharina Hofer-Schmitz Dipl.-Ing. Dr. Katharina Hofer-Schmitz DIGITAL - Institute for Information and Communication Technologies Competence Group Cyber Security and Defence JOANNEUM RESEARCH Forschungsgesellschaft mbH Steyrergasse 17, 8010 Graz, AUSTRIA phone: +43-316-876-5702 web: http://www.joanneum.at/digital e-mail: katharina.hofer-schmitz(a)joanneum.at<mailto:katharina.hofer-schmitz@joanneum.at>

5 years, 5 months

1
1
0 0

Re: [SPARTA - bodies.dissemination-committee] Paper submission

by dutertre jean-max

Dear colleagues, I would like to let you know that a new SPARTA paper have been accepted to participate to a Special Session inside the IEEE 15th International Conference on Design & Technology of Integrated Systems (DTIS) 2020. It acknowledges the support of SPARTA. It extends from laser to EM perturbations the results of our previous SPARTA paper accepted at NordSec2019. With my best regards, Jean-Max Title: Experimental Analysis of the Electromagnetic Instruction Skip Fault Model Authors: Menu, Alexandre and Dutertre, Jean-Max and Potin, Olivier and Rigaud, Jean-Baptiste and Danger, Jean-Luc Conference: Design Technology of Integrated Systems In Nanoscale Era (DTIS), 2020 15th IEEE International Conference On > Le 8 juil. 2019 à 16:52, Nelson Escravana <nelson.escravana(a)inov.pt> a écrit : > > Dear Jean-Max, > > If no partner objects to it in the next 14 days, then the paper is authorized. > > Kind regards, > > Nelson > > PS: Nice topic > > > On 05/07/19 12:52, dutertre jean-max wrote: >> Dear Sir or Madam, >> >> I belong to IMT and I am personally involved in WP6 task 6.2. >> We just wrote and submitted a paper to the 2019 FDTC workshop (http://conferenze.dei.polimi.it/FDTC19/index.html <http://conferenze.dei.polimi.it/FDTC19/index.html>). >> We carried out part of this research through our participation to T6.2. >> >> I am very sorry we did not send you the paper before submission as I shall have done. >> This won’t happen again, from now on I will be very careful to comply with the SPARTA dissemination process. >> >> I hope it won’t be an issue to be able to acknowledge this work as part of SPARTA. >> Please find the paper in attachment. It describes an extension of the laser fault injection model. In my opinion, it does not contain any sensitive information. >> I would be pleased to provide any further information. >> >> I’m looking forward your authorization, >> With my best regards, >> Jean-Max Dutertre >> >> -------------------------------------------------------------- Jean-Max Dutertre Head of the SAS Dept. Professor Secure Architectures and Systems department - SAS Ecole Nationale Supérieure des Mines de Saint-Etienne Centre Microélectronique de Provence - Campus Georges Charpak Provence 880, av. de Mimet 13541 Gardanne Bureau A.2.23 Tel : +33 (0)4 42 61 67 36 Fax : +33 (0)4 42 61 65 92 E-mail: dutertre(a)emse.fr <mailto:dutertre@emse.fr> Web : www.emse.fr/~dutertre <http://www.emse.fr/~dutertre> --------------------------------------------------------------

5 years, 5 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in paper

by Qiang Tang

Dear Dissemination Committee, We plan to submit a paper (draft attached) as a report to IACR ( https://www.iacr.org/) and arXiv (https://arxiv.org/). Later, we might submit the paper to a suitable conference. If accepted we would like to acknowledge the SPARTA project as it related to our work for T6.5. Please let us know if you have any objections or comments. Title: Privacy-Preserving Contact Tracing: current solutions and open questions Author: Qiang Tang Cheers Qiang (See attached file: ConTrack.pdf) Senior Researcher Luxembourg Institute of Science and Technology & Adjunct Professor East China Normal University, Shanghai, China Website: http://www.tangqiang.eu/

5 years, 5 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in paper

by GRAH Simon

Dear Dissemination Committee, We plan to submit a paper (draft attached) for the CD-MAKE workshop on explainable Artificial Intelligence: https://cd-make.net/make-explainable-ai/ If accepted we would like to acknowledge the SPARTA project because it is related to our work for D7.4 in Safair WP7. Please let us know if you have any objections or comments. Title: A Projected Stochastic Gradient for estimating Shapley Value applied in attribute importance By: Grah and Thouvenot, Kind Regards, Simon Grah

5 years, 5 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] [Fwd: Request for SPARTA acknowledgment in paper]

by mchoras＠itti.com.pl

Dear All, Just to let you know, the announced journal paper has been accepted :-). We will share the final version in due time. Regards, prof. Michal Choras -------------------------- Wiadomość oryginalna -------------------------- Temat: Request for SPARTA acknowledgment in paper Od: mchoras(a)itti.com.pl Data: 26 Stycznia 2020, 7:57 pm, N Do: bodies.dissemination-committee(a)internal.sparta.eu -------------------------------------------------------------------------- Dear All, We submitted Sparta/Safair relevant paper (attached) to FGCS (Elsevier). Title: Defending Network Intrusion Detection Systems against Adversarial Evasion Attacks By: Pawlicki, Choras, Kozik. If accepted we plan to acknowledge SPARTA. Kind Regards, Prof. Michal Choras

5 years, 6 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Article to be submitted at ECML-PKDD 2020

by Gregory Blanc

Dear dissemination committee, I apologize for the late notification. We are about to submit an article on a prototype of legitimate traffic generation for an IoT use case, that is part of Task 5.1 of CAPE program where we deal, as IMT, with the evaluation of IDS/SIEM. The generation of legitimate traffic is intended to produce background noise, prevent private information leakage (in case of traffic replay) and assess the robustness of IDS/SIEM against false positives. The submission itself is about this preliminary work and does not contain any sensitive material, and will not for the final version. I understand that acknowledgement may be inserted for final paper version as well, which will be requested later in June if we get accepted. Best regards, Gregory Blanc Télécom SudParis, IMT [ https://www.telecom-sudparis.eu/ ] Gregory BLANC Maitre de conférences 01 60 76 47 16 9 rue Charles Fourier 91011 Évry-Courcouronnes Cedex [ https://www.telecom-sudparis.eu/ ] [ https://twitter.com/TelecomSudParis ] [ https://www.facebook.com/TelecomSudParis ] [ https://www.linkedin.com/edu/school?id=42882&trk=tyah&trkInfo=clickedVertic… ] [ https://blogrecherche.wp.imt.fr/ ] Une école de [ https://www.imt.fr/ | l'IMT ]

5 years, 6 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in paper

by Gianluca Roascio

Dear Sirs, me, Nicolò Maunero and Paolo Prinetto, have been accepted to participate to a Special Session inside the IEEE 15th International Conference on Design & Technology of Integrated Systems (DTIS) 2020, with the paper “A FPGA-based Control-Flow Integrity Solution for Securing Bare-Metal Embedded Systems”. Please find the paper in attachment. If the paper will be accepted and no objections will be raised by dissemination committee, we would like to acknowledge SPARTA. Best Regards, *Gianluca ROASCIO* *CINI* - Laboratorio Nazionale Cybersecurity Sede di Torino c/o LINKS - Leading Innovation & Knowledge for Society Via Pier Carlo Boggio 61, I-10129 Torino TO - Italy Tel: +39 334 3762427 gianluca.roascio(a)consorzio-cini.it Skype: gianluca.roascio www.consorzio-cini.it

5 years, 6 months

1
0
0 0

2025

2024

2023

2022

2021

2020

2019

Bodies.dissemination-committee