- Bodies.dissemination-committee

[SPARTA - bodies.dissemination-committee] Paper Submission

by Alessandro Armando

Dear all, we have submitted the paper "Benchmarking UAQ Solvers" to the 15th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2020). Abstract: The User Authorization Query (UAQ) Problem is key in systems offering permission level user-system interaction, where the system automatically determines the roles that need to be activated in order to enable the requested permissions. Finding a solution to the problem amounts to determining an optimum set of roles to activate in a given session in order to obtain some permissions while satisfying a collection of authorization constraints, most notably Dynamic Mutually-Exclusive Roles (DMER) constraints. Even if the UAQ Problem is NP-hard, a number of techniques to solve the UAQ problem have been put forward along with encouraging experimental results based on different sets of synthetic benchmarks. We propose a methodology for designing parametric benchmarks for the UAQ problem and introduce and make publicly available a novel suite of parametric benchmarks that allows for the systematic assessment of UAQ solvers over a number of relevant dimensions. By running three prominent UAQ solvers against our benchmarks we provide a comprehensive and comparative analysis of unprecedented breadth from which it can be concluded that currently available benchmarks are not adequate to the task and that the reduction to PMaxSAT is currently the most effective approach to tackling the UAQ problem. If it gets accepted, we will acknowledge SPARTA. Note: Since ASIACCS employs a double-blind reviewing process, the version we submitted has been appropriately anonymized. For this reason, please keep the attached version of this paper and this message as strictly confidential. Best Regards, Alessandro -- Prof. Alessandro Armando DIBRIS, Università di Genova Viale Causa 13 16145 - Genova email: alessandro.armando(a)unige.it phone: +39 3281003201 -- -- Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

6 years, 1 month

1
0
0 0

[SPARTA - bodies.dissemination-committee] SUBMISSION OF PAPER - EWDTS 2019 - ERRATA CORRIGE

by Gianluca Roascio

Sorry, the actual version of the paper is attached, my mistake. Best Regards, -- *Gianluca ROASCIO* *CINI* - Consorzio Interuniversitario Nazionale per l’Informatica Ricercatore - Laboratorio Nazionale Cybersecurity Sede di Torino c/o LINKS - Leading Innovation & Knowledge for Society Via Pier Carlo Boggio 61, I-10129 Torino TO - Italy Phone: +39 334 3762427 gianluca.roascio(a)consorzio-cini.it Skype: gianluca.roascio www.consorzio-cini.it <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> Mail priva di virus. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

6 years, 1 month

1
0
0 0

[SPARTA - bodies.dissemination-committee] SUBMISSION OF PAPER - EWDTS 2019

by Gianluca Roascio

Dear Sirs, We are wiling to submit the attached paper to EWDTS 2019 conference. The full paper submission deadline is on Saturday, August 31st. The paper has been written by me, Paolo Prinetto and Nicolò Maunero (in cc). Moreover, we are willing to participate as well to PHISIC 2019 Workshop in October with a talk and a poster presentation, you can find the abstract in attachment. Thank you for your attention. Best Regards, -- *Gianluca ROASCIO* *CINI* - Consorzio Interuniversitario Nazionale per l’Informatica Ricercatore - Laboratorio Nazionale Cybersecurity Sede di Torino c/o LINKS - Leading Innovation & Knowledge for Society Via Pier Carlo Boggio 61, I-10129 Torino TO - Italy Phone: +39 334 3762427 gianluca.roascio(a)consorzio-cini.it Skype: gianluca.roascio www.consorzio-cini.it <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> Mail priva di virus. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

6 years, 1 month

1
0
0 0

[SPARTA - bodies.dissemination-committee] paper overview

by Lukas Malina

Dear all, we plan to submit a paper to the ARES conference (3rd International Workshop on Security and Forensics of IoT, dealine April 30, 2019). The paper presents a secure Publish/Subscribe Protocol for Internet of Things. Our proposal enhances the security and privacy of users using MQTT-based services in IoT. Therefore, this paper is in line with WP6 that is focusing on security and privacy protection in IoT. Please find a final version of our submission (for the first round of double blind review) attached to this email. Additional sensitive information in the final version is not expected. Please let me know if you have further questions. Thank you very much! Best regards, Lukas Malina (BUT, WP6 Task 6.5) -- Ing. Lukáš Malina, Ph.D. E-mail: malina(a)feec.vutbr.cz Brno University of Technology Faculty of Electrical Engineering and Communication Department of Telecommunications Technicka 12 616 00 Brno Czech Republic

6 years, 1 month

4
5
0 0

[SPARTA - bodies.dissemination-committee] Submission

by Algimantas Venckauskas

Dear all, We have submitted the paper „A Secure Self-Authenticable Data Transfer Protocol for Wireless Medical Sensor Networks“ Abstract: Development of IoT (The Internet of Things) introduces many new challenges. As IoT devices are getting smaller and smaller the problems of so called “constrained devices” arise. The traditional Internet protocols are not very well suited for constrained devices comprising localized network nodes with tens devices primarily communicating with each other (e. g. various sensors in Body Area Network communicating with each other). These devices have very limited memory, processing and power resources so traditional security protocols and architectures doesn’t fit well also. To address these challenges the fog computing paradigm is used in which all constrained devices or “End Nodes” primarily communicate only with less constrained “Fog Node” device, which collects all data, processes it and communicates with the outside world. A new lightweight secure self-authenticable transfer protocol (SSATP) for communications between “Fog End” devices and “Fog Nodes” is presented in this paper. The primary target of the proposed protocol is to use it as a secure transport for CoAP in place of UDP and DTLS which are traditional choices in this scenario. SSATP uses modified header fields of standard UDP packets to transfer additional protocol handling and data flow management information as well as user data authentication information. The optional redundant data may be used to provide increased resistance to data losses when protocol is used in unreliable networks. The results of experiments presented in this paper show that SSATP is better choice than UDP with DTLS in the cases where CoAP block transfer mode is used and/or in lossy networks. This paper is still under evaluation. If it gets accepted, we will acknowledge SPARTA. Best, Algimantas Venčkauskas Kauno technologijos universitetas

6 years, 2 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Submission of paper

by Nicolo Maunero

Dear Sirs, We are wiling to submit the attached paper to EWDTS 2019 conference. The paper has been written by me, Paolo Prinetto and Gianluca Roascio (in cc). Moreover, we are willing to participate as well to PHISIC 2019 Workshop with a talk and a poster presentation, you can find the abstract in attachment. Thank you for your attention. Best Regards, Nicolò Maunero

6 years, 2 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Removal from mailing list

by Dominique Unruh

Hello, my apologies for spamming the list, but I am not sure who administrates it. I would like to be removed from this mailing list. Best wishes, Dominique.

6 years, 3 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] Paper accepted

by Vivek Nigam

Dear all, We just got the information that our paper has been accepted to FMCAD. It is about a tool for generating automatically schedules for Time Sensitive Networks (TSN). More information below. We will acknowledge SPARTA for the final version. TSNsched: Automated Schedule Generation for Time Sensitive Networking Time Sensitive Networking (TSN) is a set of standards enabling high performance deterministic communication using time scheduling. Due to the size of industrial networks, configuring TSN networks is challenging to be done manually. We present TSNsched, a tool for automatic generation of schedules for TSN. TSNsched takes as input the logical topology of a net- work, expressed as flows, and outputs schedules for TSN switches by using an SMT-solver. The generated schedule guarantees the desired network performance (specified in terms of latency and jitter), if such schedules exist. TSNsched supports unicast and multicast flows, such as, in Publish Subscribe networks; can combine existing variants of TSN scheduling problems, and reason about the best-effort and priority TSN traffic. TSNsched can be run as a standalone tool and also allows rapid prototyping with the available JAVA API. We evaluate TSNsched on a number of realistic-size network topologies. TSNsched can generate high performance schedules, with average latency less than 1000μs, and average jitter less than 20μs, for TSN networks, with up to 73 subscribers and up to 10 multicast flows. Best, Vivek Nigam -- fortiss · Landesforschungsinstitut des Freistaats Bayern An-Institut Technische Universität München Guerickestraße 25 80805 München Germany Tel.: +49 (89) 3603522 527 Fax: +49 (89) 3603522 50 E-Mail: nigam(a)fortiss.org http://www.fortiss.org Amtsgericht München: HRB: 176633 USt-IdNr.: DE263907002, Steuer-Nr.: 143/237/25900 Rechtsform: gemeinnützige GmbH Sitz der Gesellschaft: München Geschäftsführer: Dr. Harald Rueß, Thomas Vallon Vorsitzender des Aufsichtsrats: Dr. Manfred Wolter

6 years, 3 months

2
1
0 0

[SPARTA - bodies.dissemination-committee] Paper submission

by dutertre jean-max

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). 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 dpt. 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, France 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> --------------------------------------------------------------

6 years, 3 months

1
0
0 0

[SPARTA - bodies.dissemination-committee] submissions

by Miguel Correia

Dear all, We have submitted the two papers attached for publication. If accepted we will acknowledge SPARTA. Kind regards, Miguel Correia ------------------------------ Miguel P. Correia Instituto Superior Técnico / Universidade de Lisboa INESC-ID URL: http://www.gsd.inesc-id.pt/~mpc/ Rua Alves Redol, 9 1000-029 Lisboa Portugal Tel.: +351 213 100 278 Email: miguel.p.correia(a)tecnico.ulisboa.pt ------------------------------

6 years, 3 months

1
0
0 0

2025

2024

2023

2022

2021

2020

2019

Bodies.dissemination-committee