XiaoMi-AI文件搜索系统
World File Search System哈希
先进材料研究中心
Khalid Bani-Melhem 博士分别于 1995 年和 1998 年毕业于约旦科技大学 (JUST)，获得化学工程学士学位和化学工程硕士学位。他的硕士研究课题是使用膜蒸馏技术进行海水淡化。Bani-Melhem 博士于 2008 年获得加拿大蒙特利尔康考迪亚大学博士学位（土木与环境工程）。2022 年 8 月，Bani-Melhem 博士加入卡塔尔大学先进材料中心 (CAM) 担任研究副教授。在加入卡塔尔大学之前，Bani-Melhem 博士于 2012 年至 2018 年在哈希姆大学水管理和环境系担任助理教授，并于 2018 年至 2022 年担任副教授。 2016 年 9 月至 2019 年 9 月期间，Bani-Melhem 博士担任哈希姆大学水资源管理和环境系主任。在 2012 年加入哈希姆大学之前，他于 2010 年 2 月至 2012 年 8 月在开罗美国大学 (AUC) 担任博士后研究员，负责由阿卜杜拉国王科技大学 (KAUST) 资助的一项大型项目。获得博士学位后，Bani-Melhem 博士还于 2008 年至 2010 年在康考迪亚大学担任博士后研究员，在那里他完成了博士项目研究，该项目由加拿大自然科学与工程研究委员会 (NSERC) 资助超过 65 万加元。他的博士研究成果于 2010 年在美国注册为专利。
CHAM在量子计算中的优化实现与分析
摘要：能够运行 Grover 搜索算法的量子计算机可能会削弱对称密钥加密和哈希函数的安全强度，该算法可将暴力攻击的复杂度降低一个平方根。最近，量子方法研究提出使用 Grover 搜索算法结合对称密钥加密和哈希函数的优化量子电路实现来分析潜在的量子攻击。分析对密码的量子攻击（即量子密码分析）并估计所需的量子资源与评估目标加密算法的后量子安全性有关。在本文中，我们重新审视了超轻量级密码 CHAM 分组密码的量子实现，重点是优化其密钥计划中的线性运算。我们通过应用新颖的优化分解技术将 CHAM 的线性方程优化为矩阵。使用改进的 CHAM 量子电路，我们估算了 Grover 密钥搜索的成本，并在进一步降低成本的情况下评估后量子安全强度。
cv.pdf div>
计算机科学技术硕士2013年7月 - 2015年7月印度统计研究所加尔各答，印度论文：迭代哈希的隐式分析及其变体一流的一流（汇总：78％），最佳分论文奖顾问：Mridul Nandi Nandi Nandi Nandi Nandi
使用张量网络解码器对泡利噪声进行量子编码的随机 Clifford 电路
其中 p I + p X + p Y + p Z = 1。我们主要考虑去极化噪声的情况 p X = p Y = p Z = p / 3，p I = (1 − p )。▶ 众所周知 1 使用随机 Clifford 单位向量进行编码，可以实现称为哈希界限的速率
碰撞查找的 NISQ 复杂性∗
抗碰撞散列是现代密码学的基本原语，它确保没有有效的方法来找到产生相同哈希值的不同输入。此属性支撑着各种加密应用程序的安全性，因此了解其复杂性至关重要。在经典环境中，这个问题的复杂性是众所周知的，需要 Θ( N 1 / 2 ) 次查询才能找到碰撞。然而，量子计算的出现带来了新的挑战，因为量子对手——具备量子查询的能力——可以更有效地找到碰撞。Brassard、Høyer 和 Tapp [ BHT98 ] 以及 Aaronson 和 Shi [ AS04 ] 确定，全尺寸量子对手需要 Θ( N 1 / 3 ) 次查询才能找到碰撞，这促使需要更长的哈希输出，这会影响安全所需密钥长度的效率。本文探讨了噪声中尺度量子 (NISQ) 时代的量子攻击的影响。在这项工作中，我们研究了三种不同的 NISQ 算法模型，并为所有算法实现了严格的界限：
