Filter by content type

Select one or more filters. This choice will reload the page to display the filtered results.

Remove all filters

760 results

    • Seminar

    • SoSysec

    Reasoning over leaks of information for Access Control of Databases

    • October 13, 2022

    • Inria Center of the University of Rennes - - See the page of each talk for the room.

    Speaker : Pierre Bourhis (CNRS, CRISTAL)

    Controlling the access of data in Database management systems is a classical problem and it has been solved through different mechanisms. One of the most common mechanism implemented in most Database management systems is the mechanism of views, i.e defining the accessible data of a user as the result of a query. This mechanism is also used in principle in other systems such as in social networks.[…]

    • Seminar

    • SoSysec

    An evaluation of Symbolic Execution Systems and the benefits of compilation with SymCC

    • September 25, 2020

    • Inria Center of the University of Rennes - - See the page of each talk for the room.

    Speaker : Aurélien Francillon (Eurecom)

    In this talk I will discuss our recent work, together with Sebastian Poeplau, on Symbolic execution. Symbolic execution has become a popular technique for software testing and vulnerability detection, in particular, because it allows to generate test cases for difficult to reach program paths. However, a major impediment to practical symbolic execution is speed, especially when compared to near[…]

    • Seminar

    • SoSysec

    On MILP modelisations

    • April 29, 2022

    • Inria Center of the University of Rennes - - See the page of each talk for the room.

    Speaker : Christina Boura (UVSQ, CNRS, LMV)

    Modelizing a problem using linear constraints and solving it by some Mixed Integer Linear Programming (MILP) solver is a popular approach in many domains of computer science. In this talk we present and compare different new techniques to modelize any subset of {0,1}^n for MILP. We then discuss the efficiency of our models by applying them to the search of differential paths, a classical problem[…]

    • Seminar

    • SemSecuElec

    Bridging Deep Learning and Classical Profiled Side-Channel Attacks

    • April 08, 2022

    • Thales ITSEF, Toulouse - Salle Pétri/Turing

    Speaker : Gabriel Zaid

    Over the recent years, the cryptanalysis community leveraged the potential of research on Deep Learning to enhance attacks. In particular, several studies have recently highlighted the benefits of Deep Learning based Side-Channel Attacks (DLSCA) to target real-world cryptographic implementations. While this new research area on applied cryptography provides impressive result to recover a secret[…]

    • Seminar

    • SemSecuElec

    Challenges related to random number generation for cryptographic applications

    • June 07, 2019

    • Laboratoire Hubert Curien - Salles Petri/Turing

    Speaker : Elie Noumon Allini

    The main purpose of cryptography is to ensure secure communication. In order to achieve this goal, cryptographic schemes make an intensive use of random numbers. Given that the security of these schemes highly depends on these numbers, it is important to produce high-quality random numbers. Knowing that most cryptographic modules are nowadays implemented in logic devices, we investigated True[…]

    • Seminar

    • SemSecuElec

    HardBlare, a hardware/software co-design approach for Information Flow Control

    • June 22, 2018

    • Centrale-Supelec - Salles Petri/Turing

    Speaker : Guillaume Hiet – Pascal Cotret

    One way to increase the security level of computer systems is to rely on both software and hardware mechanisms. In this context, the HardBlare project proposes a software hardware co-design methodology to ensure that security properties are preserved all along the execution of the system but also during file storage. The HardBlare project is a multidisciplinary project between CentraleSupélec IETR[…]
Page top