Filter by content type

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

Remove all filters

706 results

    • Seminar

    • SoSysec

    Machine Learning for Computer Security Detection Systems: Practical Feedback and Solutions

    • November 30, 2018

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

    Speaker : Anaël Beaugnon (ANSSI)

    Machine learning based detection models can strengthen detection, but there remain some significant barriers to the widespread deployment of such techniques in operational detection systems. In this presentation, we identify the main challenges to overcome and we provide both methodological guidance and practical solutions to address them. The solutions we present are completely generic to be[…]

    • Seminar

    • SoSysec

    The Internet of Backdoors

    • March 07, 2018

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

    Speaker : par Sam L. Thomas (University of Birmingham, UK)

    Complex embedded devices are becoming ever prevalent in our everyday lives, yet only a tiny amount of people consider the potential security and privacy implications of attaching such devices to our home, business and government networks. As demonstrated through recent publications from academia and blog posts from numerous industry figures, these devices are plagued by poor design choices[…]

    • Seminar

    • SoSysec

    Subject Access Request and Proof of Ownership

    • October 25, 2019

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

    Speaker : Cédric Lauradoux (INRIA Rhône-Alpes)

    The GDPR (General Data Protection Regulation) provides rights on our data: access, rectification, objection, etc. However, this regulation is not binding on how we can exercise these rights. Data controllers have therefore deployed various methods to authenticate subject requests. We have analyzed how this authentication process can fail and examined its consequences. Our study shows that a key[…]

    • Seminar

    • SoSysec

    Splitting the Linux Kernel for Fun and Profit

    • December 07, 2018

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

    Speaker : Chris Dalton (HP, Bristol, UK)

    This talk looks at a pragmatic attempt at strengthening the security properties of Linux by introducing a degree of intra-kernel protection into the Linux kernel (supported by CPU Virtualization silicon features). Consider it, if you like, an attempt at retrofitting a ‘micro-kernel’ interface into traditionally monolithic Linux whilst maintaining a single linux code base (yes it’s still Linux), no[…]

    • Seminar

    • SoSysec

    Anonymous Server-Aided Verification

    • March 30, 2018

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

    Speaker : par Elena Pagnin (Chalmers University of Technology, Sweden)

    Server-Aided Verification (SAV) is a method that can be employed to speed up the process of verifying signatures by letting the verifier outsource part of its computation load to a third party. Achieving fast and reliable verification under the presence of an untrusted server is an attractive goal in cloud computing and internet of things scenarios.In this talk I will describe a simple and[…]

    • 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[…]
Page top