Understanding the Usability of Cryptographic Verification Tools
研究通过调查Tamarin和ProVerif等工具的用户体验，识别了加密协议验证工具在易用性上的障碍，并提出改进设计的具体建议以提高这些工具的可访问性和可用性。
0 citationsRead paper
Selected work
Representative Papers
Online matching games in bipartite expanders: applications to bitprobes and dictionaries with non-adaptive probing
本文通过在线匹配博弈在二部扩展图上的策略，解决了动态字典和1-bitprobes存储方案中非自适应查询的问题，提出了几种具有不同性能的构造方法。
0 citationsRead paper
Explicit unbalanced 1-expanders with small degree and right size
研究通过构建一个显式的不平衡1-扩展图，提出了一种新算法，该算法能在多项式时间内生成一个程序列表，其中至少有一个程序能打印输入x且长度接近x的Kolmogorov复杂度。
0 citationsRead paper
Basis Rigidity of the AES S-box and Generic Rigidity of Inversion under Affine Transformations
研究通过确定性刚性标准分析AES S盒的基刚性，并探讨了在仿射变换下逆运算的一般刚性问题。
0 citationsRead paper
Representation Redundancy and Structural Complexity in Finite-Field Inversion
研究了有限域求逆运算中不同表示法对学习难度的影响，通过分析三种布尔形式化方法及实验验证，揭示了表示冗余与结构复杂性之间的关系。
0 citationsRead paper
Recent publications
Latest Papers
Understanding the Usability of Cryptographic Verification Tools
研究通过调查Tamarin和ProVerif等工具的用户体验，识别了加密协议验证工具在易用性上的障碍，并提出改进设计的具体建议以提高这些工具的可访问性和可用性。
0 citationsRead paper
Online matching games in bipartite expanders: applications to bitprobes and dictionaries with non-adaptive probing
本文通过在线匹配博弈在二部扩展图上的策略，解决了动态字典和1-bitprobes存储方案中非自适应查询的问题，提出了几种具有不同性能的构造方法。
0 citationsRead paper
Explicit unbalanced 1-expanders with small degree and right size
研究通过构建一个显式的不平衡1-扩展图，提出了一种新算法，该算法能在多项式时间内生成一个程序列表，其中至少有一个程序能打印输入x且长度接近x的Kolmogorov复杂度。
0 citationsRead paper
Basis Rigidity of the AES S-box and Generic Rigidity of Inversion under Affine Transformations
研究通过确定性刚性标准分析AES S盒的基刚性，并探讨了在仿射变换下逆运算的一般刚性问题。
0 citationsRead paper
Representation Redundancy and Structural Complexity in Finite-Field Inversion
研究了有限域求逆运算中不同表示法对学习难度的影响，通过分析三种布尔形式化方法及实验验证，揭示了表示冗余与结构复杂性之间的关系。
0 citationsRead paper