Filter by content type

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

Remove all filters

720 results

    • Seminar

    • SoSysec

    Differentially Private Linear Sketches: Efficient Implementations and Applications

    • February 10, 2023 (09:30 - 10:30)

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Fuheng Zhao (University of California Santa Barbara)

    Linear sketches have been widely adopted to process fast data streams, and they can be used to accurately answer frequency estimation, approximate top K items, and summarize data distributions. When data are sensitive, it is desirable to provide privacy guarantees for linear sketches to preserve private information while delivering useful results with theoretical bounds. To address these[…]
    • Seminar

    • SoSysec

    Thwarting covert adversaries in FHE pipelines

    • December 09, 2022

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Sylvain Chatel (EPFL)

    Fully Homomorphic Encryption (FHE) enables computations to be executed directly on encrypted data without decryption, thus it is becoming an auspicious solution to protect the confidentiality of sensitive data without impeding its usability for the purpose of analytics. While many practical systems rely on FHE to achieve strong privacy guarantees, their constructions only consider an honest-but[…]
    • Seminar

    • SoSysec

    Towards Security-Oriented Program analysis

    • October 29, 2021

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Sébastien Bardin (CEA LIST)

    While digital security concerns increase, we face both a urging demand for more and more code-level security analysis and a shortage of security experts. Hence the need for techniques and tools able to automate part of these code-level security analyses. As source-level program analysis and formal methods for safety-critical applications have made tremendous progress in the past decades, it is[…]
    • Seminar

    • SoSysec

    L’empoisonnement de données semble-t-il un risque réaliste ?

    • September 23, 2022

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Adrien Chan-Hon-Tong (ONERA)

    Les attaques adversaires ont rencontré un fort écho dans la communauté de vision par ordinateur. Pour autant, via ce type d’attaque, un hacker ne peut modifier le comportement de l’algorithme ciblé que localement. Inversement, l’empoisonnement de données est en mesure de modifier globalement le comportement de l’algorithme visé, et, il n’est pas forcément détectable par un opérateur notamment si[…]
    • Seminar

    • SoSysec

    A formal study of injection-based attacks and some tools it will enable

    • February 19, 2021

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Pierre-François Gimenez (Inria Rennes, CentraleSupélec)

    Many systems work by receiving instructions and processing them: e.g., a browser receives and then displays an HTML page and executes Javascript scripts, a database receives a query and then applies it to its data, an embedded system controlled through a protocol receives and then processes a message. When such instructions depend on user input, one generally constructs them with concatenation or[…]
    • Seminar

    • SemSecuElec

    Improved Blind Side-Channel Analysis by Exploitation of Joint Distributions of Leakages

    • April 05, 2019

    • Faculté des sciences de Limoges - Salles Pétri/Turing

    Speaker : Léo Reynaud

    Les attaques side channel classiques nécessitent généralement la connaissance du clair (ou du chiffré) afin de calculer des données internes qui seront comparées à des fuites. Des attaques permettent cependant de s’affranchir de ces connaissances, les attaques par distributions jointes. Ces attaques supposent un attaquant capable d’inverser le modèle de consommation, mais aucune connaissance sur[…]