April 2020 - Bodies.dissemination-committee

[SPARTA - bodies.dissemination-committee] Submission

by Algimantas Venckauskas

Dear all, We have submitted the paper „Technical Threat Intelligence Analytics: What and How to Visualize for Analytic Process“ to the 24th International Conference ELECTRONICS 2020 Abstract: Visual Analytics uses data visualization methods for enabling compelling analysis of data by engaging graphical and visual representation. In the domain of cybersecurity, convincing visual representation of data enables to ascertain valuable observations that allow the domain experts to construct efficient cyberattack mitigation strategies and provide useful decision support. In this paper, we present a survey of the visual analytics tools and methods in the domain of cybersecurity. We explore and discuss Technical Threat Intelligence visualization tools using the Five Question Method. We conclude the analysis of the works using Moody’s Physics of Notations, and VIS4ML ontology as a methodological background of visual analytics process. This paper is still under evaluation. If it gets accepted, we will acknowledge SPARTA. Best, Algimantas Venčkauskas Kauno technologijos universitetas

4 years, 3 months

3
8
0 0

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

by maryline Laurent

Dear All, We submitted Sparta paper (attached) to a journal in January 2020. Title: Securing Organization’s Data: A Role-Based Authorized Keyword Search Scheme with Efficient Decryption By: Nazatul Haque Sultan, Maryline Laurent, Vijay Varadharajan. If accepted we plan to acknowledge SPARTA. Kind Regards, Prof. Maryline Laurent Maryline Laurent Professor, Télécom SudParis Head of R3S team, CNRS UMR5157 SAMOVAR lab Cofounder of the chair Values and Policies of Personal Information 9 rue Charles Fourier, 91011 EVRY +33 (0)160764442

4 years, 6 months

1
1
0 0

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

by Gabriele Costa

Dear Dissemination Committee, we have about to publish a paper for which we would like to acknowledge the SPARTA project. Please, find the version that we plan to submit in attachment and a brief description of the content, the venue and the relation with the activities of WP6 below. Please let us know if you have any objections or comments. Best regards Gabriele Costa === Title: WAF-A-MoLE: Evading Web Application Firewalls through Adversarial Machine Learning Venue: ACM Symposium on Applied Computing Relationship with SPARTA: The paper presents a a technique to evade machine learning-based web application firewalls (WAFs). This work shows that ML WAFs are not reliable in discriminating between attack payloads and harmless traffic. The activity is related to the identification and evaluation of the state-of-the-art technologies adopted in the IIs.

5 years, 4 months

1
1
0 0

[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

2025

2024

2023

2022

2021

2020

2019

Bodies.dissemination-committee April 2020