All Stories

  1. Automated Security Analysis for Real-World IoT Devices

    Article • October 2023, ACM (Association for Computing Machinery)

    Lelio Brun

  2. Automatically verified code generation from Lustre code

    Article • ACM Transactions on Embedded Computing Systems, September 2023, ACM (Association for Computing Machinery)

    Lelio Brun