01 2023 档案
摘要:1. Intro Monte Carlo Tree Search (MCTS) is a decision-making algorithm that consists in searching combinatorial spaces represented by trees. In such t
阅读全文
摘要:1. Intro memory corruption exploits 能绕过Address Space Layout Randomization(ASLR,地址空间布局随机化)和Data Execution Prevention(DEP, 数据执行保护) Code reuse attacks: c
阅读全文
摘要:Abstract 本文: SAILFISH TASK: find state-inconsistency bugs in smart contracts Method: a hybrid approach, 1. a lightweight exploration phase 2. 一种新的valu
阅读全文