Andrei Agape

København, Region Hovedstaden, Danmark
13 t følgere 500+ forbindelser

Tilmeld dig for at se profilen

Om

Cybersecurity specialist, researcher and freelancer: 250+ pentests on web apps, APIs…

Tjenester

Aktivitet

13 t følgere

See all activities

Erfaring og uddannelse

  • TRIPLA CONSULT

Se al Andreis erfaring

Se titel, ansættelsestid m.m.

eller

Ved at klikke på Fortsæt for at tilmelde dig eller logge ind accepterer du LinkedIns Brugeraftale, Privatlivspolitik og Politik for cookies.

Licenser og certificeringer

Udgivelser

  • P4Fuzz: Compiler Fuzzer for Dependable Programmable Dataplanes

    ICDCN '21: International Conference on Distributed Computing and Networking 2021

    Programmable dataplanes such as P4 provide great opportunities for improving network performance and developing innovative security features, by allowing programmers to reconfigure and tailor switches towards their needs.

    However, extending programmability to the dataplane also introduces new threat models. In this paper, using a systematic security analysis, we identify a particularly worrisome vulnerability: the automated program compilers which lie at the core of programmable…

    Programmable dataplanes such as P4 provide great opportunities for improving network performance and developing innovative security features, by allowing programmers to reconfigure and tailor switches towards their needs.

    However, extending programmability to the dataplane also introduces new threat models. In this paper, using a systematic security analysis, we identify a particularly worrisome vulnerability: the automated program compilers which lie at the core of programmable dataplanes

    Andre forfattere
    Se udgivelse

Fag/kurser

  • Advanced algorithms

    -

  • Advanced programming in C++

    -

  • Algorithms and data structures

    -

  • Computability and complexity

    -

  • DTU - Introduction to Cyber Security

    -

  • Databases

    -

  • Design by contracts

    -

  • Distributed systems

    -

  • Languages and compilers

    -

  • Large scale system-development

    -

  • Machine learning

    -

  • Security of BLE, NFC/RFID, EMV, HCE, and Software Defined Radio

    -

  • Syntax and Semantics

    -

Projekter

  • Micro Operating System - AndreiOS

    AndreiOs is a 32 bit OS, build on Linux Mint 15 using a GCC Cross-Compiler, the GRUB bootloader and ld linker. While the bootloader in written in assembly, the Kernel is in C, using the headers made available by the cross-compiler.

  • P4Fuzz: A Compiler Fuzzer for Securing P4 Programmable Dataplanes

    The evolution of networking from a traditional approach towards a more flexible one shown an improvement in the quality of services offered. However, the changes required in this sense have to consider as well the security risks that are implied. Motivated by previous research and lack of security tools for newly developed technologies, we chose to cover an unexplored part of the attack surface and pursue a different approach. Our objective is to secure the programmable dataplanes by uncovering…

    The evolution of networking from a traditional approach towards a more flexible one shown an improvement in the quality of services offered. However, the changes required in this sense have to consider as well the security risks that are implied. Motivated by previous research and lack of security tools for newly developed technologies, we chose to cover an unexplored part of the attack surface and pursue a different approach. Our objective is to secure the programmable dataplanes by uncovering bugs in P4 compilers.

    We implement P4Fuzz – a smart, blackbox and generation-based fuzzer – inspired by Csmith, that incorporates taming techniques and complements related work. Our tool is able to generate up to 80 P4 programs per minute, and test the validity for up to 21 programs per minute. P4Fuzz is designed such that it can support multiple architectures: i.e: BMv2, eBPF, while others can be added in the future. We discovered and reported four bugs, out of which two of them have been fixed on the official repository of P4C, the standard compiler for P4. A case study which shows how compiler bugs can introduce security issues was also conducted, and we consider that P4Fuzz manages to fill a gap in the literature.

    Andre skabere
  • Exposing Security Issues in Programmable and Software-Defined Computer Networks

    This report explores, identifies and presents the security aspects of the P4 programmable software defined networking technologies. The field has seen an important growth in the last years, due to the emergence of the P4 language and the programmable switches. During our investigation we made contributions on both theoretical and practical sides. On the theoretical part we have documented the current state and development state of SDN technologies, made a classification of threats and assets…

    This report explores, identifies and presents the security aspects of the P4 programmable software defined networking technologies. The field has seen an important growth in the last years, due to the emergence of the P4 language and the programmable switches. During our investigation we made contributions on both theoretical and practical sides. On the theoretical part we have documented the current state and development state of SDN technologies, made a classification of threats and assets and provided a set of use cases for attacks and countermeasures at different levels of SDN. On the practical side, we ran a set of experiments inspired from the previous literature, documented the process and interpreted the results.

    We have shown that ONOS, a SDN controller that supports P4, can be vulnerable to malicious applications, man in the middle attacks, flooding and brute-force attacks. Finally, we have proposed four ideas that could be further explored and developed in order to improve the security of P4 programmable SDN.

    Andre skabere
  • Soteria - A Programming Language Designed for Safety Critical Systems

    Design, Definition and Implementation of the Soteria Programming Language

    The paper describes how a programming languages for safety critical systems is designed and implemented. The purpose is to reduce the number of bug occurrences and to improve code maintainability, readability and reliability. Design by contract and static analysis are key concepts used in order to achieve the goals of the language.

    The report explains all the steps required to implement such a language…

    Design, Definition and Implementation of the Soteria Programming Language

    The paper describes how a programming languages for safety critical systems is designed and implemented. The purpose is to reduce the number of bug occurrences and to improve code maintainability, readability and reliability. Design by contract and static analysis are key concepts used in order to achieve the goals of the language.

    The report explains all the steps required to implement such a language starting from the lexer to the code generation. Since the main purpose of the language is to to develop safety critical systems, a large part of the project covers different types of dataflow static analysis such as liveness, variable initialization and reaching definition. Beside those techniques, the paper also explains how a compiler can be implemented using formal specification of the syntax and semantics described in the Design chapter.

    Finally it is explained how the language is evaluate during the Discount method and how the results are interpreted.

    Andre skabere
  • Adaptive testing using exact inference algorithms on Bayesian networks

    The paper describes how an adaptive testing system that uses a probabilistic graphical model is designed, implemented and tested. A Bayesian Network model is used to match the testing scenario with knowledge skills and questions for a given topic.

    While the objective is to test user’s skills within a limited number of questions, the report explains how the system adapts in real time to the users answers when it selects the next question, using inference algorithms. Beside the real-time…

    The paper describes how an adaptive testing system that uses a probabilistic graphical model is designed, implemented and tested. A Bayesian Network model is used to match the testing scenario with knowledge skills and questions for a given topic.

    While the objective is to test user’s skills within a limited number of questions, the report explains how the system adapts in real time to the users answers when it selects the next question, using inference algorithms. Beside the real-time adaptiveness, the system updates its Bayesian Network conditional probabilities based on its interaction with users, using the Expectation- Maximization algorithm.

    The Analysis chapter presents the results of the experiment emphasising on model precision, number of questions, inference on skills and system recommendations using initial expectations, final results and users feedback.

    The paper concludes by showing the effectiveness of the probabilistic graphical model and the algorithms used for the given scenario.

    Andre skabere

Anbefalinger, som du har modtaget

3 personer har anbefalet Andrei

Tilmeld dig for at se hvem

Se hele Andreis profil

  • Se, hvem I begge kender
  • Bliv introduceret
  • Kontakt Andrei direkte
Tilmeld dig for at se hele profilen

Andre lignende profiler

Få nye kompetencer med disse kurser