Junbeom Jinx →

It is highly likely you are referring to the research regarding (often associated with KAIST and Samsung Research) and his work on formal verification and security analysis of Jinx (or JINX) , a popular fuzzing framework for the Solidity programming language.

Could you clarify? For example: