Grégoire Menguy

📜Very happy that our paper "Active Disjunctive Constraint Acquisition" is accepted at KR2023. It is joint work with @grmenguy, S. Bardin, A. Gotlieb, and N. Lazaar. Do you need to learn disjunctive concepts? Then check our paper: binsec.github.io/nutshells/kr-2… Details come next 👇

Interested in hardware security? Check out our @USENIXSecurity formal processor model to prevent Spectre, LVI attacks, and more, and its open-source RISC-V prototype! With @LeslyAnnDaniel1 @martonbognar Job Noorman Sébastien Bardin Frank Piessens arxiv.org/abs/2302.12108

Excited to announce my new role as an Assistant Professor (RTD-A) at the @UniGenova! 🎉 There will be much to explore in the coming years, particularly in the area of Trustworthy #AI and #ML for industries and security applications. 🤖💡 #AcademicLife #MachineLearning #Genoa

Are fuzzers guided enough❓ ▶️ Do they keep enough seeds, as not all interesting inputs improve branch coverage? ▶️ How to provide finer-grained guidance without changing all fuzzers? Our @acm_tosem paper on finer-grained fuzzing is now at binsec.github.io/nutshells/tose… A thread ⬇️

📜Very happy that our paper "Active Disjunctive Constraint Acquisition" is accepted at KR2023. It is joint work with @grmenguy, S. Bardin, A. Gotlieb, and N. Lazaar. Do you need to learn disjunctive concepts? Then check our paper: binsec.github.io/nutshells/kr-2… Details come next 👇