Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination
本文通过引入HERMES协议，利用稳健的最小结构优化数据传播、平衡负载并确保公平性，以缓解区块链中的抢跑攻击问题。
0 citationsRead paper
Selected work
Representative Papers
Hopper: Bounded-Memory Collaborative Debiasing for Byzantine-Tolerant Peer Sampling
本文提出Hopper协议，通过有限内存下的协作去偏技术解决拜占庭容错对等采样中标识符流被恶意偏置的问题。
0 citationsRead paper
Bridging the Gap Between Plain VASS and Branching VASS
研究解决了BVASS的可达性问题，通过引入新的wqo和利用合并属性，证明了BVASS的可达集与VASS相似，从而推导出关于BVASS可达集几何结构的几个结果。
0 citationsRead paper
Ramsey Obstructions to Disambiguation
本文通过构造特定部分矩阵，解决线性分类器的消歧问题，并利用Ramsey理论证明了无论怎样消歧都会包含所有指定大小的二进制矩阵。
0 citationsRead paper
On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars
研究通过记忆转导器和索引语法生成的计数序列等价性问题，使用确定性转导器及上下文无关索引语法方法解决了该问题。
0 citationsRead paper
Recent publications
Latest Papers
Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination
本文通过引入HERMES协议，利用稳健的最小结构优化数据传播、平衡负载并确保公平性，以缓解区块链中的抢跑攻击问题。
0 citationsRead paper
Hopper: Bounded-Memory Collaborative Debiasing for Byzantine-Tolerant Peer Sampling
本文提出Hopper协议，通过有限内存下的协作去偏技术解决拜占庭容错对等采样中标识符流被恶意偏置的问题。
0 citationsRead paper
Bridging the Gap Between Plain VASS and Branching VASS
研究解决了BVASS的可达性问题，通过引入新的wqo和利用合并属性，证明了BVASS的可达集与VASS相似，从而推导出关于BVASS可达集几何结构的几个结果。
0 citationsRead paper
Ramsey Obstructions to Disambiguation
本文通过构造特定部分矩阵，解决线性分类器的消歧问题，并利用Ramsey理论证明了无论怎样消歧都会包含所有指定大小的二进制矩阵。
0 citationsRead paper
On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars
研究通过记忆转导器和索引语法生成的计数序列等价性问题，使用确定性转导器及上下文无关索引语法方法解决了该问题。
0 citationsRead paper