Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...

This project is a Windows x64 WinDbg extension skeleton that resolves a function by name or address, reconstructs a deterministic control-flow view, and asks an LLM directly from the extension to ...

Take a look at the clay website for an example of clay compiled to wasm and running in the browser, or others in the examples directory. You can also watch the introduction video for an overview of ...

Abstract: Decompilation can convert binary programs into clear C-style pseudocode, which is of great value in a wide range of security applications. Existing research primarily focuses on recovering ...

Most reverse engineers would agree that quite often one can learn something new on the job. However, it is not every day you learn how to cook a delicious meal while analyzing malware. This unique ...

As part of the Applied Category Theory seminar, we discussed an article commonly cited as an inspiration by many papers 1 taking a categorical approach to systems theory, The Behavioral Approach to ...

Fragment-based ligand and drug discovery (FBDD) 1 allows the exploration of a large fraction of chemical space 2 with a limited number of low-molecular-weight compounds (molecular weight typically 150 ...