Author:
Cifuentes C.,Simon D.,Fraboulet A.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Climbing the Hill to Understand the Code;IEEE Access;2024
2. Static Analysis of JNI Programs via Binary Decompilation;IEEE Transactions on Software Engineering;2023-05-01
3. (System)Verilog to Chisel Translation for Faster Hardware Design;2020 International Workshop on Rapid System Prototyping (RSP);2020-09-24
4. Sound C Code Decompilation for a Subset of x86-64 Binaries;Software Engineering and Formal Methods;2020
5. Get Rid of Inline Assembly through Verification-Oriented Lifting;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11