February 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] 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

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

by mchoras＠itti.com.pl

Dear All, We plan to submit Sparta and Safair relevant SOTA type of paper (draft attached) for the DisA workshop (I co-organize) at ICCS 2020 in Amsterdam: http://disa.kssk.pwr.edu.pl/ https://www.iccs-meeting.org/iccs2020/ Title: Machine Learning - the results are not the only thing that matters! What about security, explainability and fairness? By: Choras, Pawlicki, Puchalski and Kozik. The paper uses ITTI text relevant for D7.2. If accepted we plan to acknowledge SPARTA. Kind Regards, Prof. Michal Choras -------------------------- Wiadomość oryginalna -------------------------- Temat: [SPARTA - bodies.dissemination-committee] Request for SPARTA acknowledgment in accepted paper Od: "Gabriele Costa" <gabriele.costa(a)imtlucca.it> Data: 27 Listopada 2019, 3:48 pm, Śr Do: bodies.dissemination-committee(a)internal.sparta.eu -------------------------------------------------------------------------- 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. -- bodies.dissemination-committee mailing list bodies.dissemination-committee(a)server.sparta.eu http://server.sparta.eu/cgi-bin/mailman/listinfo/bodies.dissemination-commi…

5 years, 7 months

2
2
0 0

[SPARTA - bodies.dissemination-committee] Abstract of submission

by Raimundas Matulevicius

Dear all, My colleague Prof. Dominique Unruh has submitted the paper. Please see the information on it below. Best greetings, Raimundas Begin forwarded message: From: Dominique Unruh <unruh(a)ut.ee<mailto:unruh@ut.ee>> Subject: Abstract of submission Date: 28. February 2020 at 15:59:23 EET To: Raimundas Matulevičius <raimundas.matulevicius(a)ut.ee<mailto:raimundas.matulevicius@ut.ee>> Submitted to Crypto 2020. Authors: Dominique Unruh Title: Post-Quantum Verification of Fujisaki-Okamoto Abstract: We present a computer-verified formalization of the post-quantum security proof of the Fujisaki-Okamoto transform (as analyzed by Hövelmanns, Kiltz, Schäge, and Unruh, PKC 2020). The formalization is done in quantum relational Hoare logic and checked in the qrhl-tool (Unruh, POPL 2019). Content: Nothing that is based on IP from other SPARTA members. Best wishes, Dominique

5 years, 7 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Talk in JDS and ENBIS 20

by THOUVENOT Vincent

Dear all, As part of the SPARTA project and WP7, we will submit talks at the JDS (https://jds2020.sciencesconf.org/) and ENBIS (https://enbis.org/activities/events/current/627_ENBIS_20_in_Val__ncia//abst…) conferences. Best regards Vincent Thouvenot (Thales)

5 years, 8 months

1
0
0 0

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

by Simone Soderi

Dear all, I have submitted a research paper entitled "Enhancing Security in 6G Visible Light Communications" that has been accepted in the 6G Wireless Summit (https://www.6gsummit.com/). This paper, considers improving the confidentiality of the next generation of wireless communications in Internet of Things (IoT) devices by using the watermark-based blind physical layer security (WBPLSec) in Visible Light Communications (VLCs) Therefore, this paper is in line with WP6. Please find the prefinal version of our paper attached to this email. If the dissemination committee raises no objections, we would like to acknowledge the SPARTA project. Best regards, *Simone Soderi, Dr.Sc. (Tech) *Post-Doctoral Research Fellow *IMT - School for Advanced Studies Lucca* Piazza S. Francesco, 19 I-55100 Lucca - Italy email: simone.soderi(a)imtlucca.it <mailto:simone.soderi@imtlucca.it> web: http://www.imtlucca.it <https://www.imtlucca.it>

5 years, 8 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Paper Draft

by Sergej Proskurin

Dear all, We have a paper draft (without a definite subject yet) that we would like to submit to USENIX Security, on the 15th of February. The paper focuses on container security that can be increased even on legacy systems. We do not expect to have any sensitive information in the final version that we will submit to the conference. We will provide the final version, once we have submitted the paper. Please let me know if you should have further questions. Thank you very much in advance! Best, ~Sergej -- Sergej Proskurin, M.Sc. Wissenschaftlicher Mitarbeiter Technische Universität München Fakultät für Informatik Lehrstuhl für Sicherheit in der Informatik Boltzmannstraße 3 85748 Garching (bei München) Tel. +49 (0)89 289-18592 Fax +49 (0)89 289-18579

5 years, 8 months

1
0
0 0

2025

2024

2023

2022

2021

2020

2019

Bodies.dissemination-committee February 2020