MojtabaPaper Assumptions They make the following assumptions that helps makes their task approachable with static analysis: CFG EVM Blocks The paper goes on to define […]
PhD Candidate @ KTH Researching #SoftwareSecurity #Blockchain #SmartContracts #ProgramAnalysis