HASLab - Indexed Articles in Conferences

Permanent URI for this collection


Recent Submissions

Now showing 1 - 5 of 357
  • Item
    Flexible Fine-grained Data Access Management for Hyperledger Fabric
    ( 2022) Parente,J ; Ana Nunes Alonso ; Fábio André Coelho ; João Vinagre ; Bastos,P ; 5692 ; 6059 ; 5245
  • Item
    Securing MPTCP Connections: A Solution for Distributed NIDS Environments
    ( 2022) Meira,JP ; Rui Pedro Monteiro ; João Marco ; 6946 ; 8658
    With continuous technological advancement, multihomed devices are becoming common. They can connect simultaneously to multiple networks through different interfaces. However, since TCP sessions are bound to one interface per device, it hampers applications from taking advantage of all the available connected networks. This has been solved by MPTCP, introduced as a seamless extension to TCP, allowing more reliable sessions and enhanced throughput. However, MPTCP comes with an inherent risk, as it becomes easier to fragment attacks towards evading NIDS. This paper presents a study of how MPTCP can be used to evade NIDS through simple cross-path attacks. It also introduces tools to facilitate assessing MPTCP-based services in diverse network topologies using an emulation environment. Finally, a new solution is proposed to prevent cross-path attacks through uncoordinated networks. This solution consists of a hostlevel plugin that allows MPTCP sessions only through trusted networks, even in the presence of a NAT.
  • Item
    Verification of railway network models with EVEREST
    ( 2022) Martins,J ; Fonseca,JM ; Costa,R ; José Creissac Campos ; Alcino Cunha ; Nuno Moreira Macedo ; Oliveira,JN ; 5612 ; 5625 ; 5599
    Models-at different levels of abstraction and pertaining to different engineering views-are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone. This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model-the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD)-in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined infrastructure rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted. EVEREST is integrated in a long-term effort of EFACEC to implement industry-strong tools to automate and formally verify the design of railway solutions. © 2022 ACM.
  • Item
    Timely Specification Repair for Alloy 6
    ( 2022) Cerqueira,J ; Alcino Cunha ; Nuno Moreira Macedo ; 5625 ; 5612
  • Item
    Cloud-Based Privacy-Preserving Medical Imaging System Using Machine Learning Tools
    ( 2022) Alves,J ; Soares,B ; Cláudia Vanessa Brito ; António Luís Sousa ; 7516 ; 5638