( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Output-sensitive Information flow analysis.

, , и . Log. Methods Comput. Sci., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dorothee Mounier

Séverine Mounier

Georges Mounier

Marie Mounier

Laurent Ntahuga

 

Другие публикации лиц с тем же именем

Lightweight heuristics to retrieve parameter associations from binaries., , и . PPREW@ACSAC, стр. 5:1-5:12. ACM, (2015)Get Rid of Inline Assembly through Verification-Oriented Lifting., , , , и . ASE, стр. 577-589. IEEE, (2019)Output-sensitive Information flow analysis., , и . Log. Methods Comput. Sci., (2021)Finding Software Vulnerabilities by Smart Fuzzing., , , и . ICST, стр. 427-430. IEEE Computer Society, (2011)Metrics for runtime detection of allocators in binaries., , и . CSET @ USENIX Security Symposium, USENIX Association, (2017)BaxMC: a CEGAR approach to Max#SAT., , , , и . FMCAD, стр. 170-178. IEEE, (2022)RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"., , , , , и . ICSE (Companion Volume), стр. 201-202. IEEE, (2021)Ön the Fly" Verification of Behavioural Equivalences and Preorders., и . CAV, том 575 из Lecture Notes in Computer Science, стр. 181-191. Springer, (1991)The ARESA Project: Facilitating Research, Development and Commercialization of WSNs., , , , , , , , , и 2 other автор(ы). SECON, стр. 590-599. IEEE, (2007)Function synthesis for maximizing model counting., , , и . CoRR, (2023)