NavTalks

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
(30 intermediate revisions not shown)
Line 3: Line 3:
<p><i>Leave mouse over title's presentation to read the abstract.</i></p>
<p><i>Leave mouse over title's presentation to read the abstract.</i></p>
<!--<span style="border-bottom: dashed 1px #000" title="">Title Here</span>-->
<!--<span style="border-bottom: dashed 1px #000" title="">Title Here</span>-->
 +
 +
 +
 +
 +
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
 +
<h2><strong>Upcoming  presentations</strong></h2>
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
<h3><strong>January 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">13</td>
 +
            <td style="width:300px">Rohit Kumar</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="The complex engineering research field of cyber-physical systems (CPS) is based on integrating computation, communication, and physical processes, providing design, modelling, and analysis techniques as a whole. In this talk, we will present an architectural model of CPS and discuss the requirements and challenges to make CPS safe.">Architectural support and mechanisms for resilient and safe control in Cyber-Physical System</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">13</td>
 +
            <td style="width:300px">Daniel Ângelo</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Tor is one of the most popular anonymity networks in the world. Users of this platform range from dissidents to cybercriminals or even ordinary citizens concerned with their privacy. It is based on advanced security mechanisms to provide strong guarantees against traffic correlation attacks that can deanonymize its users and services.
 +
Torpedo is the first known traffic correlation attack on Tor that aims at deanonymizing OS sessions. In a federated way, servers belonging to ISPs around the globe can process deanonymization queries of specific IPs. With the abstraction of an interface, these queries can be submitted by an attacker to deanonymize OSes and clients.
 +
Initial results show that this attack is able to identify the IP addresses of OS sessions with high confidence (no false positives). However, the current version of Torpedo relies on a central authority to manage the system, which requires ISPs to share sensitive network traffic of their
 +
clients with a third party.
 +
Thus, this work seeks to complement the previously developed research with the introduction and study of multi-party computation (MPC) techniques, with the objective of developing and assessing a new attack vector on Tor that can work even if ISPs encrypt their network traffic before correlation. In more detail, we intend to leverage, test and assess some existing general-purpose and machine learning oriented MPC frameworks and build a privacy- preserving solution on top of Torpedo that satisfies its scalability and performance requirements.">Privacy-preserving Deanonymization of Dark Web Tor Onion Services for Criminal Investigations</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">27</td>
 +
            <td style="width:300px">Robin Vassantlal</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">27</td>
 +
            <td style="width:300px">João Loureiro</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">Deep-learning for communication optimization on autonomous vehicles</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
 +
<h3><strong>February 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">10</td>
 +
            <td style="width:300px">Carlos Mão de Ferro</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">10</td>
 +
            <td style="width:300px">David Silva</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">Developing a scalable IoT solution for remote monitoring and control</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">24</td>
 +
            <td style="width:300px">Adriano Mão de Ferro</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>March 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">10</td>
 +
            <td style="width:300px">Miracle Aniakor</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Deep Learning is a relatively new method in the machine learning industry that has been used for a variety of tasks; it has sparked considerable attention among academics worldwide. Deep learning has been applied to complicated problems that need a high degree of human intelligence, most notably in the healthcare industry. One of the medical sectors that deep learning is widely used is radiology. In radiology, different radiographic techniques are used to identify brain tumors, which are among the most severe and fatal types of tumors, with a limited survival rate if not treated at its early stage. While classifying tumors in radiographic images is a critical task in the health sector, it is a hard and time-consuming procedure that radiologists must undertake, with the accuracy of their analysis entirely depending on their knowledge. Today's radiological diagnostic, such as magnetic resonance (MR) tests, is mostly subjective and may be inadequately accurate, posing a significant danger to patients. As a result, harnessing Artificial Intelligence (AI) technologies to decrease diagnostic mistakes is critical. This work used deep learning and radiomics to develop an automated approach for identifying cancers in patients using magnetic resonance imaging (MRI) datasets from kaggle third party API database. The suggested approach employs a Convolutional Neural Network (CNN) with transfer learning as our deep learning model for performing binary classification on our magnetic resonance images. In other words, this study used a pre-trained AlexNet model and moved it to a CNN architecture, and then assessed the model's efficacy and performance using an image dataset that the model had never seen after training, achieving an accuracy of 93.1 percent.">BRAIN TUMOR CLASSIFICATION USING CONVOLUTIONAL NEURAL NETWORK</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">10</td>
 +
            <td style="width:300px">Diogo Duarte</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">24</td>
 +
            <td style="width:300px">Nuno Dionísio</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>April 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">7</td>
 +
            <td style="width:300px">Samaneh Shafee</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">7</td>
 +
            <td style="width:300px">Diogo Pires</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">21</td>
 +
            <td style="width:300px">Žygimantas Jasiūnas</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>May 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">5</td>
 +
            <td style="width:300px">Allan Espíndola</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">5</td>
 +
            <td style="width:300px">Gabriel Freitas</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">19</td>
 +
            <td style="width:300px">Tiago R. N. Carvalho</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">19</td>
 +
            <td style="width:300px">Gonçalo Reis</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>June 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">2</td>
 +
            <td style="width:300px">Rafael Ramires</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">2</td>
 +
            <td style="width:300px">Inês Sousa</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Wireless Sensor Networks used in aquatic environments for continuous monitoring are constantly being affected by physical or environmental factors that create anomalies in collected data by the sensors. This presentation explains the use and reformulation of a previously created framework in the context of the AQUAMON project. The objective of this work is to use this framework in the AQUAMON project to help detect and correct data collected from different sensors and implement a dashboard for a more comprehensive view of real-time data.">Integration of various data sources and implementation of a dashboard for the remotemonitorization system</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">16</td>
 +
            <td style="width:300px">Pedro Rosa</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">Lightweight Cryptography for Internet of Things (IoT) Devices</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">16</td>
 +
            <td style="width:300px">Jorge Martins</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">30</td>
 +
            <td style="width:300px">Pedro Alves</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">30</td>
 +
            <td style="width:300px">Lívio Rodrigues</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>July 2022</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">14</td>
 +
            <td style="width:300px">Miguel Oliveira</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table> 
 +
 +
</div>
 +
 +
<!--  
<!--  
Line 227: Line 423:
</div>
</div>
-
 
-
 
-
 
-
<!--  Andr&eacute; Oliveira????????? ###############################################################
 
-
###########################################################
 
-
############## UPCOMING  PRESENTATIONS#####################
 
-
########################################################### -->
 
-
 
-
<h2><strong>Upcoming  presentations</strong></h2>
 
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
<h3><strong>May 2019</strong></h3>
<h3><strong>May 2019</strong></h3>
-
<table border="0" cellspacing="0" >
+
<table border="0" cellspacing="0" style="background:#89B085" >
<tr>
<tr>
-
<td style="width:100px" style="color:Tomato;"><strong>08/05</strong></td>
+
<td style="width:100px">08/05</td>
-
<td style="width:300px" style="color:Tomato;"><strong>Miguel Moreira</strong></td>
+
<td style="width:300px">Miguel Garcia</td>
-
<td style="width:600px">&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="In this talk, I will make a dry-run of my PhD defense, therefore I am hoping to receive (most of) the harsh comments before the D-day!
 +
My PhD thesis addresses a long-standing open problem of managing Byzantine Fault Tolerance (BFT) systems. This is a fundamental problem because BFT protocols assume that replicas fail independently. In this thesis we investigated how this assumption can be substantiated in practice by exploring diversity when managing the configurations of replicas.
 +
">Diverse Intrusion-tolerant Systems</span></td>
<td style="width:100px">&nbsp;</td>
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
<tr>
<tr>
-
<td style="color:Tomato;"><strong>08/05</strong></td>
+
<td style="width:100px">29/05</td>
-
        <td style="color:Tomato;"><strong>Miguel Garcia</strong></td>
+
<td style="width:300px">Pedro Ferreira</td>
-
<td>&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="The Digital Security call of the Horizon 2020 Work Programme 2018-2020 includes a topic focusing the digital security and privacy of Small and Medium Enterprises and Micro Enterprises (SME&ME). By realising that SME&MEs are easy targets of cyber-attacks when compared to large organisations, the European Commission proposed a specific topic in the digital security call to develop targeted solutions for the distinct needs and resources of SMEs&MEs. This talk will reveal the concept and first ideas supporting an application to this H2020 call.
-
<td>&nbsp;</td>
+
">The concept of the next navigators cybersecurity H2020 project</span></td>
 +
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
<tr>
<tr>
-
<td>22/05</td> <td>Pedro Ferreira</td>
+
<td style="width:100px">29/05</td>
-
<td>&nbsp;</td>
+
<td style="width:300px">Vinicius Cogo</td>
-
<td>&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="In this talk, I will describe the idea of auditing who has effectively read data in secure storage systems and the additional requirements it entails to these systems. This work was submitted last week (thanks for the feedback) and is available on arXiv (https://arxiv.org/abs/1905.08637).
-
</tr>
+
">Auditable Register Emulations</span></td>
-
<tr>
+
<td style="width:100px">&nbsp;</td>
-
<td>22/05</td> <td>Vinicius Cogo</td>
+
-
<td>&nbsp;</td>
+
-
<td>&nbsp;</td>
+
</tr>
</tr>
</table>
</table>
</div>
</div>
 +
 +
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
<h3><strong>June 2019</strong></h3>
<h3><strong>June 2019</strong></h3>
-
<table border="0" cellspacing="0" >
+
<table border="0" cellspacing="0" style="background:#89B085" >
<tr>
<tr>
<td style="width:100px">05/06</td>
<td style="width:100px">05/06</td>
<td style="width:300px">Diogo Gon&ccedil;alves</td>
<td style="width:300px">Diogo Gon&ccedil;alves</td>
-
<td style="width:600px">&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Network coding is a technique that can be used to improve a network’s throughput and resilience. The idea is for nodes in the network to mix the information content in the packets received before forwarding them, enabling gains in capacity and resilience. Existing network coding prototypes and systems have been mainly host-based implementations in software. However, recent advances in switch design have enabled the emergence of programmable switches, opening the possibility to making network coding practical in the network.
 +
​In this talk, I will present the design, implementation and preliminary evaluation of a network coding switch using the latest version of P4 (a high level language to program switches). We will describe the various options we have considered in our design, focusing on its main challenges.
 +
">Network coding switch</span></td>
<td style="width:100px">&nbsp;</td>
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
<tr>
<tr>
-
<td>05/06</td> <td>Francisco Ara&uacute;jo</td>
+
<td style="width:100px">05/06</td>
-
<td>&nbsp;</td>
+
<td style="width:300px">Francisco Ara&uacute;jo</td>
-
<td>&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Industrial products, like vehicles and trains, integrate embedded systems implementing diverse and complicated functionalities. Such functionalities are programmable by software containing a multitude of parameters necessary for their configuration, which have been increasing due to the market diversification and customer demand. However, the increasing functionality and complexity of such systems makes the validation and testing of the software highly complex. The complexity inherent to software nowadays has a direct relationship with the rising number of vulnerabilities found in the software itself due to the increased attack surface. Where a vulnerability is defined as a hole or weakness in the application. Products with such variability need to be tested adequately, looking by security flaws to be able to guarantee public safety and quality assurance of the application.  While efficient automated system testing already exists, such as fuzzing, there is no tool that is able to use results of a previous testable programme in order to more efficiently test the next piece of software that shares certain functionalities. The objective of this dissertation is to implement such a tool that can ignore already covered functionalities that have been seen before in a previously tested program and give more importance to block codes that have yet to been tested, detect security vulnerabilities and to avoid repeating work when it's not necessary, hence increasing the speed and the coverage in the new program. After the initial development of the prototype of the tool, we will follow with an evaluation that will take into consideration the effectiveness at finding bugs and the performance it shows. ​
 +
">Generating Software Tests To Check For Flaws and Functionalities</span></td>
 +
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
<tr>
<tr>
-
<td>19/06</td> <td>Robin Vassantlal</td>
+
<td style="width:100px">26/06</td>
-
<td>&nbsp;</td>
+
<td style="width:300px">Joao Pinto</td>
-
<td>&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Ever since its introduction, the car has fundamentally changed our society and it is nearly ubiquitous today. However, there are several problems related to automobiles, one of the major ones being road congestion. Automated driving systems currently rely on their own sensors to gather
 +
information from the real-world, and make informed decisions to keep its passengers safe. But sensors may not be sufficiently accurate during all conditions and can even fail, so systems take this into consideration when controlling the car. Vehicle-to-Vehicle communication can enable cooperation between vehicles, which in turn opens the door for complex vehicular applications such as road-trains (or platooning) and virtual traffic lights. We will implement a vehicular cooperation algorithm backed by both vehicle-to-vehicle communication and a cloud membership service provided by a separate project.
 +
 +
">Implementation of a Protocol for Safe Cooperation Between Autonomous Vehicles</span></td>
 +
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
<tr>
<tr>
-
<td>19/06</td> <td>Miguel Matos</td>
+
<td style="width:100px">26/06</td>
-
<td>&nbsp;</td>
+
<td style="width:300px">Tiago Correia</td>
-
<td>&nbsp;</td>
+
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Personal vehicles are the transportation method chosen by most individuals, which means our cities are built around them and have roads that can go anywhere. Given the amount of vehicles, life in cities is hard, and pollution and traffic congestion are higher than ever.
 +
Nowadays, the first autonomous vehicles are starting to appear, and consequently, bringing the opportunity to once again, try to solve this problem. Although the current ones are still not viable for daily transportation, they already help substantially with traffic and pollution, but sadly, they won’t be enough in the long run and another solution is needed. Existing solutions base their decisions solely on their own sensors and that is the only view they have of the external world, but there is still a subject that was not well explored: cooperation between vehicles.
 +
Vehicle coordination is the next big step, and an essential missing factor that has to be considered for the next generation of autonomous vehicles. Giving vehicles communication capabilities allows them not only to communicate with other vehicles, but also communicate with external services that can aid their cooperation while sharing useful data about their own decisions or the outside environment. This is exactly our approach, we built a cloud based membership service with a global view of every vehicle that can aid each one of them by providing useful information and predictions.
 +
">Design and Implementation of a Cloud-based Membership System for Vehicular Cooperation</span></td>
 +
<td style="width:100px">&nbsp;</td>
</tr>
</tr>
 +
<tr>
 +
<td style="width:100px">26/06</td>
 +
<td style="width:300px">Robin Vassantlal</td>
 +
<td style="width:600px"><span style="border-bottom: dashed 1px #000" title="State Machine Replication is a classical approach used to implement consistent fault-tolerant services, this approach can also be used to implement intrusion tolerant services - which maintain integrity and availability in the presence of Byzantine faults. In order to guarantee confidentiality, the Secret Sharing mechanism can be used to store shares of the data between servers. Of the few works that explore this mechanism, none consider the long-running services, therefore give the adversary unlimited time to collect enough shares to get access to the service state. In this talk, I will present the design and the preliminary evaluation of the implementation of a framework that solves this problem using share renewal protocol. ​
 +
">Confidential BFT State Machine Replication</span></td>
 +
<td style="width:100px">&nbsp;</td>
 +
</tr>
 +
</table>
</table>
 +
 +
 +
<h3><strong>March 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">24</td>
 +
            <td style="width:300px">Ana Fidalgo</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Machine Learning approaches on vulnerability detection have been gaining popularity due to their capability to predict and/or detect an attack in early stages, without the laborous human effort of other techniques. However, there is not a public dataset for web vulnerabilities based on real web applications, which would help the research community to improve their knowledge and algorithms. This talk aims to present the initial work done on such a dataset, and how it will address the common issues, such as integrating the labelling of opensource tools with the labelling of human experts.">Machine Learning approaches for vulnerability detection</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>April 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">7</td>
 +
            <td style="width:300px">Vasco Leitão</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Industrial products integrate highly configurable safety-critical systems which must be intensively tested before being delivered to customers. This process is highly time-consuming and may require associations between product features and requirements demanded by customers. Machine Learning (ML) has proven to help engineers in this task, through automation of associations between features and requirements, where the latter are prioritized first.
 +
 +
However, ML application can be more difficult when requirements are written in natural language (NL), and if it does not exist a ground truth dataset with them. This work presents SRXCRM, a Natural Language Processing-based model able to extract and associate components from product design specifications and customer requirements, written in NL, of safety-critical systems. The model has a Weight Association Rule Mining framework that defines associations between components, generating visualizations that can help engineers in prioritization of the most impactful features. Preliminary results of the use of SRXCRM show that it can extract such associations and visualizations.">Discovering Association Rules Between Software System Requirements and Product Specifications</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">21</td>
 +
            <td style="width:300px">João Caseirito</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Fuzzing is a software testing technique to find vulnerabilities by providing invalid and unexpected inputs to a target and monitoring exceptions such as crashes, memory leaks or information disclosure.
 +
This talk aims to present an ensemble fuzzing approach that checks the correctness of web applications by combining multiple web application fuzzers, improving the coverage and precision in detecting the vulnerabilities and performing better than the fuzzers individually.">Improving Web Application Vulnerability Detection Leveraging Ensemble Fuzzing</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
 +
<h3><strong>May 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">5</td>
 +
            <td style="width:300px">Paulo Antunes</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Web applications play a pivotal role in modern society. They have become a prime target for attackers, who exploit a variety of vulnerabilities to access private data and corrupt systems. This work aims to develop novel approaches to detect and remove vulnerabilities in PHP programs. Instead of processing PHP code directly and analyzing the full application at once, we leverage an intermediate language representation of the code and use a guided analysis to find bugs with increased precision. The guided analysis will avoid common approximations of traditional static analysis, resulting in a more accurate emulation of program states.">Web Vulnerability Discovery at an Intermediate Language Level</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">19</td>
 +
            <td style="width:300px">Frederico Apolónia</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="The levels of energy consumption in the European Union continues to grow above the expected values and buildings are one of the largest consumers, in front of the sectors of industry and transportation. Since buildings can be used for different goals with different requirements, in order to do an appropriate control, it is necessary to design and develop approaches for real-time assessment. In this talk we will present the concept of indoor location using Bluetooth and WiFi scanners to monitor surrounding devices. This information will be used to determine the number of different users inside a building/space, which is later used by control systems in order to improve the efficiency of buildings, keeping certain levels of comfort for the users.">Building Occupancy Assessment</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>June 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">2</td>
 +
            <td style="width:300px">Bernardo Portela</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Conflict-free Replicated Data Types (CRDTs) are abstract data types that support developers when designing and reasoning about distributed systems with eventual consistency guarantees. In their core they solve the problem of how to deal with concurrent operations, in a way that is transparent for developers. However in the real world, distributed systems also suffer from other relevant problems, including security and privacy issues and especially when participants can be untrusted. In this paper we present the first formal cryptographic treatment of CRDTs, as well as proposals for secure implementations. We start by presenting a security notion that is compatible with standard definitions in cryptography. We then describe new privacy-preserving CRDT protocols that can be used to help secure distributed cloud-backed applications, including NoSQL geo-replicated databases. Our proposals are based on standard CRDTs, such as sets and counters, augmented with cryptographic mechanisms that allow operations to be performed on encrypted data. Our proposals are accompanied with formal security proofs and implement and integrate them in AntidoteDB, a geo-replicated NoSQL database that leverages CRDTs for its operations. Experimental evaluations based on the Danish Shared Medication Record dataset (FMK) exhibit the tradeoffs that our different proposals make and show that they are ready to be used in practical applications.">Secure Conflict-free Replicated Data Types</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">16</td>
 +
            <td style="width:300px">Žygimantas Jasiūnas and Vasco Ferreira</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Nowadays there is a focus on energy efficiency and flexible energy where IoT devices can introduce some advantages due to their monitoring and remote control capabilities. There are multiple IoT platforms and systems developed allowing the integration of multiple devices offering monitoring and remote control capabilities and even the usage of triggers, where if something is reached then some action will be performed. However, a simple integration of IoT devices in current solutions is not enough to achieve the levels of desired efficiency, for that, new solutions that integrates legacy appliances with new ones are needed. In order to achieve this goal the SATO (Self Assessment Towards Optimization) platform was designed. The SATO platform aims to integrate existing IoT energy focused platforms (e.g., EDP re:dy and Siemens Navigator) with existing IoT smart systems, such as Google Nest. Supported by Machine Learning algorithms and IoT capabilities, the SATO platform wants to be an autonomous management system for buildings where energy efficiency is a priority. However, the integration of different parts of building management systems is a common issue due to the existence of diverse appliances, devices and technologies that must be integrated. The most common solution to solve this problem is based on middleware solutions, which allows to hide platform specification. In this thesis we will design, implement and test a middleware component that abstracts the specification of different components and exposes generic APIs to deal with a large number of appliances. Supported by the proposed set of API, the services available can easily be used without the complexity of knowing each of the underlying details.">Monitoring and Integration of heterogeneous building IoT platforms and smart systems</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">30</td>
 +
            <td style="width:300px">João Inácio</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Currently, embedded systems are present in a myriad of devices, such as IoT, drones, cyberphysical systems. The security these devices can be critical, depending the context they are integrated and the role they play (e.g., water plant, car). C is the main language used to develop the software for these devices and is known for missing the bounds of its data types, which lead to vulnerabilities, like buffer and integer overflows. These flaws when exploited cause severe damage and can put human life in dangerous. Therefore, it is important the software of these devices be secure.
 +
One of the utmost importance with C programs is how to fix its code automatically, employing the right secure code that can remove the existent vulnerabilities and avoid attacks. However, such task faces some challenges. For example, how to remove vulnerabilities, what is the right secure code needed to remove them, and where to insert this code. Another challenge is how to maintain the correct behavior of the application, after applying the code correction.">Automatic Removal of Flaws in Embedded System Software</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>July 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">14</td>
 +
            <td style="width:300px">André Gil</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Tools used to assess energy utilization in buildings are inadequate. Real-life energy consumption often exceeds design expectations. The SATO platform aims to reduce this gap by allowing efficient management of buildings energy resources.
 +
In this talk we will describe our approach in creating an event-driven system in the context of the world of IoT, we will also describe the way to deploy and manage these complex systems, while also going into detail in some of their components.">Platform Architecture and data management for cloud-based buildings energy self-assessment and optimization</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">28</td>
 +
            <td style="width:300px">João Valente</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="In the domain of IoT(Internet of Things), there is a correlation between the efficiency and effectiveness of a platform, and the quality of the data available for processing and decision making. When a scenario of data collection from different types of sensors, integrated into several devices that are distributed alongside the building, is presented. And, considering that data is essential to monitor and control the level of actuation in the building, the process becomes a matter of extreme importance.
 +
Because of it, there is the intention of developing a platform, capable of evaluating data quality that are collected from the devices of the building, and to prevent a situation where, low quality data puts at risk the proper functioning of the component responsible for the monitoring and control, in a way, that suppresses the effects of low quality data and error propagation.
 +
For that to happen, methods and techniques which target themes like data quality, fault detection and fault mitigation, will be presented, developed, evaluated and implemented.">Data quality and dependability of IoT platform for buildings energy assessment</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
 +
<h3><strong>December 2021</strong></h3>
 +
<table border="0.5" cellspacing="0" style="background:#89B085">
 +
<tr>
 +
            <td align="center" style="width:100px">16</td>
 +
            <td style="width:300px">Paulo Antunes</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Web applications play a pivotal role in modern society. They have become a prime target for attackers, who exploit a variety of vulnerabilities to access private data and corrupt systems. This work aims to develop novel approaches to detect and remove vulnerabilities in PHP programs. Instead of processing PHP code directly and analyzing the full application at once, we leverage an intermediate language representation of the code and use a guided analysis to find bugs with increased precision. The guided analysis will avoid common approximations of traditional static analysis, resulting in a more accurate representation of program states.">Web Vulnerability Discovery at an Intermediate Language Level</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
        <tr>
 +
            <td align="center" style="width:100px">16</td>
 +
            <td style="width:300px">Bruno Matos</td>
 +
            <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="">TBD</span></td>
 +
            <td style="width:30px">&nbsp;</td>
 +
</tr>
 +
</table>
 +
</div>
</div>
 +
 +
<!--
 +
###########################################################
 +
###########################################################
 +
############## UPCOMING  PRESENTATIONS#####################
 +
###########################################################
 +
 +
 +
<h2><strong>Upcoming  presentations</strong></h2>
 +
 +
 +
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
<div style="background:#FFFFFF; border:1px solid #FFFFFF; padding:5px 10px">
Line 297: Line 624:
<table border=0 cellspacing=0  >
<table border=0 cellspacing=0  >
<tr>
<tr>
-
<td style="width:100px">03/07</td>
+
<td style="width:100px">26/06</td>
<td style="width:300px">Tiago Correia</td>
<td style="width:300px">Tiago Correia</td>
<td style="width:600px">&nbsp;</td>
<td style="width:600px">&nbsp;</td>
Line 303: Line 630:
</tr>
</tr>
<tr>
<tr>
-
<td>03/07</td>
+
<td>26/06</td>
<td>Jo&atilde;o Pinto</td>
<td>Jo&atilde;o Pinto</td>
 +
<td>&nbsp;</td>
 +
<td>&nbsp;</td>
 +
</tr>
 +
<tr>
 +
<td>26/06</td> <td>Robin Vassantlal</td>
<td>&nbsp;</td>
<td>&nbsp;</td>
<td>&nbsp;</td>
<td>&nbsp;</td>
Line 310: Line 642:
</table>
</table>
</div>
</div>
 +
-->
 +
 +

Latest revision as of 21:08, 10 January 2022

The NavTalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.

Leave mouse over title's presentation to read the abstract.



Contents

Upcoming presentations






January 2022

13 Rohit Kumar Architectural support and mechanisms for resilient and safe control in Cyber-Physical System  
13 Daniel Ângelo Privacy-preserving Deanonymization of Dark Web Tor Onion Services for Criminal Investigations  
27 Robin Vassantlal TBD  
27 João Loureiro Deep-learning for communication optimization on autonomous vehicles  


February 2022

10 Carlos Mão de Ferro TBD  
10 David Silva Developing a scalable IoT solution for remote monitoring and control  
24 Adriano Mão de Ferro TBD  

March 2022

10 Miracle Aniakor BRAIN TUMOR CLASSIFICATION USING CONVOLUTIONAL NEURAL NETWORK  
10 Diogo Duarte TBD  
24 Nuno Dionísio TBD  

April 2022

7 Samaneh Shafee TBD  
7 Diogo Pires TBD  
21 Žygimantas Jasiūnas TBD  

May 2022

5 Allan Espíndola TBD  
5 Gabriel Freitas TBD  
19 Tiago R. N. Carvalho TBD  
19 Gonçalo Reis TBD  

June 2022

2 Rafael Ramires TBD  
2 Inês Sousa Integration of various data sources and implementation of a dashboard for the remotemonitorization system  
16 Pedro Rosa Lightweight Cryptography for Internet of Things (IoT) Devices  
16 Jorge Martins TBD  
30 Pedro Alves TBD  
30 Lívio Rodrigues TBD  

July 2022

14 Miguel Oliveira TBD  



Past presentations

September 2018

20 Alysson Bessani SMaRtChain: A Principled Design for a New Generation of Blockchains  
20 Rui Miguel Named Data Networking with Programmable Switches  

October 2018

4 Bruno Vavala (Research Scientist in Intel Labs) Private Data Objects  
4 Marcus Völp (Research Scientist, CritiX, SnT, Univ. of Luxembourg) Reflective Consensus  
18 Yair Amir (Professor, Johns Hopkins University) Timely, Reliable, and Cost-Effective Internet Transport Service using Structured Overlay Networks  

November 2018

13 Salvatore Signorello The Past, the Present and some Future of Interest Flooding Attacks in Named-Data Networking  
13 Tiago Oliveira Vawlt - Privacy-Centered Cloud Storage  
27 Nuno Neves Segurança de Software - Como Encontrar uma Agulha num Palheiro?  
27 Ricardo Mendes Vawlt - The Zero-knowledge End-to-end Encryption Protocol  

December 2018

11/12 António Casimiro AQUAMON: Dependable Monitoring with Wireless Sensor Networks in Water Environments  
11/12 Carlos Nascimento Review of wireless technology for AQUAMON: Lora, sigfox, nb-iot  

January 2019

15/01 Fernando Alves A comparison between vulnerability publishing in OSINT and Vulnerability Databases  
15/01 Ibéria Medeiros SEAL: SEcurity progrAmming of web appLications  
29/01 Fernando Ramos Networks that drive themselves…of the cliff  
29/01 Miguel Garcia Some tips before rushing into LaTeX (adapted from: How (and How Not) to Write a Good Systems Paper)  

February 2019

19/02 Ana Fidalgo Conditional Random Fields and Vulnerability Detection in Web Applications  
19/02 João Sousa Towards BFT-SMaRt v2: Blockchains and Flow Control  

March 2019

13/03 Fernando Ramos How to give a great -- OK, at least a good -- research talk  
13/03 Ricardo Morgado Automatically correcting PHP web applications  


March 2019

27/03 Nuno Dionísio Cyberthreat Detection from Twitter using Deep Neural Networks  
27/03 Fernando Ramos My network protocol is better than yours!  


April 2019

10/04 Adriano Serckumecka SIEMs  
10/04 Tulio Ribeiro BFT Consensus & PoW Consensus (blockchain).  


May 2019

08/05 Miguel Garcia Diverse Intrusion-tolerant Systems  
29/05 Pedro Ferreira The concept of the next navigators cybersecurity H2020 project  
29/05 Vinicius Cogo Auditable Register Emulations  


June 2019

05/06 Diogo Gonçalves Network coding switch  
05/06 Francisco Araújo Generating Software Tests To Check For Flaws and Functionalities  
26/06 Joao Pinto Implementation of a Protocol for Safe Cooperation Between Autonomous Vehicles  
26/06 Tiago Correia Design and Implementation of a Cloud-based Membership System for Vehicular Cooperation  
26/06 Robin Vassantlal Confidential BFT State Machine Replication  


March 2021

24 Ana Fidalgo Machine Learning approaches for vulnerability detection  

April 2021

7 Vasco Leitão Discovering Association Rules Between Software System Requirements and Product Specifications  
21 João Caseirito Improving Web Application Vulnerability Detection Leveraging Ensemble Fuzzing  


May 2021

5 Paulo Antunes Web Vulnerability Discovery at an Intermediate Language Level  
19 Frederico Apolónia Building Occupancy Assessment  

June 2021

2 Bernardo Portela Secure Conflict-free Replicated Data Types  
16 Žygimantas Jasiūnas and Vasco Ferreira Monitoring and Integration of heterogeneous building IoT platforms and smart systems  
30 João Inácio Automatic Removal of Flaws in Embedded System Software  

July 2021

14 André Gil Platform Architecture and data management for cloud-based buildings energy self-assessment and optimization  
28 João Valente Data quality and dependability of IoT platform for buildings energy assessment  

December 2021

16 Paulo Antunes Web Vulnerability Discovery at an Intermediate Language Level  
16 Bruno Matos TBD  




Personal tools
Navigators toolbox