XiaoMi-AI文件搜索系统
World File Search System测试框架
马丁·施林普夫
自 2023 年起 EPFL，终身制助理教授领导 NeuroAI 实验室对人类视觉和语言进行建模。NeuroX 研究所核心成员。任职于生命科学学院和计算机与通信科学学院。 2022 - 2023 MIT Quest for Intelligence，研究科学家在整个研究所内架起自然和人工智能研究的桥梁。 2017 MetaMind / Salesforce Einstein AI，深度学习者顾问：Richard Socher。通过强化学习进行自然语言处理的灵活架构搜索（发现了非常新颖的架构）。 2016 哈佛医学院，研究助理顾问：Gabriel Kreiman。通过颅内记录进行循环计算以识别模型和人脑中的遮挡物体。 2015 - 2016 Oracle 实验室，系统研究员开发了按需集群数据库模块（现已广泛使用）。 2015 - 2020 Integreat Digital Factory，联合创始人兼首席技术官；后来 技术顾问 向难民分发本地信息的平台，现在在德国近 20% 的城市中使用（integreat-app.de/en）。 2015 西门子股份公司，软件工程师 行为驱动的测试框架，用于运行以自然语言编写的测试规范（现在用于三大业务领域）。 2012 - 2015 Martin Schrimpf 软件解决方案，自由职业者 领导开发具有光学字符识别功能的文档管理系统，使客户公司实现无纸化。
计算机科学学生 /软件工程师-Alex Chitham < / div>
2023 - 2024软件工程实习生（长达一年的位置）PQShield（量子加密专家）•研究的软件材料法案（SBOM）建议最好的PQShield如何使其成为最佳的PQShield。了解了SBOM对软件安全性的重要性。•使用C和C＃，编写了两个API来包裹PQShield的加密软件库，以帮助其可移植性。一个人已交付给客户。•在C中产生了一个兼容性演示，显示了他们的两个产品一起工作。我修改了他们的软件开发套件以进行加密和安全通信，以将其加密操作卸载到执行加速加密的专用硬件上。我将硬件加载到KV260 FPGA板上，并使用其API将其添加为软件开发套件的新的后端编译选项，从而消除了对软件加密库库的依赖。使用Docker容器和Make Build System，我将此修改后的SDK添加到了他们现有的Quantum后Web浏览演示中。此演示现在已成为关键客户端的完整产品。•在C中实现了量子安全通信协议PQnoise，并使用静态分析仪符合CERT-C。创建了已知的答案测试，并使用统一测试框架彻底验证实现。•通过聘用新实习生来获得面试技巧。我提供了我的学生经验的见解，CV筛选，询问了候选人，并参与了最终决策。
离线安全加固学习的数据集和基准
本文介绍了一个全面的基准测试套件，该套件是针对离线安全增强学习（RL）挑战的全面的，旨在促进培训和部署阶段中安全学习算法的发展和评估。我们的基准套件包含三个包：1）精心制作的安全政策，2）D4RL风格的数据集以及环境包装器，以及3）高质量的离线安全RL基线实施。我们采用有条不紊的数据收集管道，该管道由先进的安全RL算法启动，该管道有助于从机器人控制到自动驾驶的38个流行的安全RL任务中跨38个流行的安全RL任务的不同数据集的生成。我们进一步引入了一系列数据后处理过滤器，能够修改每个数据集的多样性，从而模拟各种数据收集条件。此外，我们还提供了普遍的离线安全RL算法的优雅且可扩展的实现，以加速该领域的研究。通过超过50000个CPU和800 GPU小时计算的广泛实验，我们评估和比较了这些基线算法在收集的数据集中的性能，从而提供了有关其优势，局限性和潜在改进领域的见解。我们的基准测试框架是研究人员和从业人员的宝贵资源，促进了在安全性应用中开发更健壮和可靠的离线安全RL解决方案。基准网站可在www.offline-saferl.org上找到。
验证的量子序列的汇编-ACM数字库
量子算法通常在经典数据的量子叠加上应用经典操作，例如算术或谓语检查；这些所谓的甲壳通常是量子程序中最大的组成部分。为了简化高效，正确的Oracle功能的构建，本文介绍了VQO，这是COQ证明助手实施的高保证框架。VQO的核心是O QASM，Oracle量子组装语言。o Qasm操作通过量子傅立叶变换在两个不同的基础之间移动量子位，因此承认了重要的优化，但没有引起纠缠和随附的指数爆炸。o QASM的设计使我们能够证明VQO的编译器从一种名为O QIMP到O QASM的简单命令性语言，从O Qasm到SQIR，从O QASM到SQIR，一种通用量子量组装语言 - 允许我们通过基于QuickChick property属性属性的测试框架有效地测试O Qasm程序的质量质量。我们已经使用VQO实施了各种算术和几何操作员，这些算术和几何操作员是重要的Oracles的构建块，包括Shor's和Grover的算法中使用的Oracles。我们发现，与使用lclassicalžGates构建的量子相比，VQO的基于QFT的算术甲壳所需的量子量要少，有时甚至少得多。但是，VQO的后者版本与Quipper生产的Oracles（在Qubit和Gate计数方面）相当或更好，这是一个最先进但未验证的量子编程平台。
利用低功耗蓝牙引发混乱
低功耗蓝牙 (BLE) 是一种很有前途的物联网 (IoT) 短距离通信技术，具有降低能耗的特点。供应商在其制造的设备中实施符合蓝牙核心规范的 BLE 协议。最近，通过手动方法，在一些特定产品的 BLE 协议实现中发现了几个漏洞。考虑到 BLE 设备的多样性和用途以及 BLE 协议的复杂性，我们开发了一个系统而全面的测试框架，作为一种自动化和通用的方法，它可以有效地模糊任何 BLE 协议实现。我们的框架在中央设备中运行，并在 BLE 设备作为外围设备连接到中央设备时对其进行测试。我们的框架结合了 BLE 协议套件的状态机模型，并通过其响应监视外围设备的状态。借助状态机和中央设备的当前状态，我们的框架可以在错误的时间向外围设备发送格式错误的数据包或正常数据包，或者两者兼而有之，并等待预期的响应。外围设备的异常行为（例如不合规响应或无响应）表明其 BLE 协议实现中存在潜在漏洞。为了最大限度地暴露 BLE 设备的此类异常，我们的框架采用了优化函数来指导模糊测试过程。截至今天，我们已经测试了来自 8 家供应商的 12 台设备和 4 款 IoT 产品，共发现 11 个新漏洞，并分配了 13 个新的通用漏洞暴露 (CVE) ID。我们将这类漏洞称为 S WEYN T OOTH，这凸显了我们框架的有效性。
![arXiv:2402.08985v1 [quant-ph] 2024 年 2 月 14 日](/simg/g:\will\search\icon\source\8\84d2f14ae4f004b8dd25906a36bc6dd5f16372e0.webp)
arXiv:2402.08985v1 [quant-ph] 2024 年 2 月 14 日
QED-C 面向应用的基准套件提供了衡量量子计算机在实际应用中的性能特征的能力。其基准程序涵盖了一系列问题规模和输入，捕获了与结果质量、总执行时间和消耗的量子门资源相关的关键性能指标。本文描述的工作研究了将这种基准测试方法的相关性扩展到更复杂的应用程序所面临的挑战。首先，我们介绍了一种通过系统地改变算法参数来改善景观覆盖的方法，并在新的可扩展 HHL 线性方程求解器基准中举例说明了此功能。其次，我们在 QED-C 套件中添加了氢晶格模拟的 VQE 实现，并介绍了一种分析结果质量和运行时成本权衡的方法。我们观察到，随着量子比特数量的增加，准确度会下降，但执行时间只会略微增加。第三，我们探索了监督机器学习分类应用程序的独特特征，将其作为衡量框架对新类别应用程序的可扩展性的基准。将其应用于二元分类问题表明，更大的 anzatz 电路所需的训练时间会增加，并且经典开销会显著增加。第四，我们在基准测试工作流程中添加了优化和误差缓解方法，这使我们能够：确定近似门综合和门噪声之间的有利权衡；观察测量误差缓解和一种确定性误差缓解算法的好处；并将改进与由此产生的时间开销进行对比。展望未来，我们将讨论基准测试框架如何有助于促进算法选项的探索及其对性能的影响。
pqm4：基准测试nist额外的量化后...
摘要。2022年7月，美国国家标准技术研究所（NIST）宣布了第一组量词后加密标准：Kyber，Dilithium，Falcon和Sphincs+。不久之后，NIST发布了一项呼吁提出额外的量词后签名方案的建议，以补充其初始投资组合。在2023年，收到了50份提交的意见，40名被接受为未来标准化的第一轮候选人。在本文中，我们研究了流行的ARM Cortex-M4微控制器上所述候选人的适用性和表现。我们将合适的实施方式集成到基准测试框架PQM4中，并在STM32L4R5ZI上提供基准测试结果，其中640 kb的RAM。PQM4当前包括15项提交和M4优化实施的参考实施，用于5个提交。对于剩余的候选人，我们描述了阻碍整合的原因 - 主要的原因是较大的密钥或过度记忆消耗。虽然参考实现的性能相当毫无意义，并且通常与实现良好的实现的性能无关，但这项工作提供了一些首先指示哪些方案在微控制器上最有前途。PQM4中公开可用的实现也为将来的优化工作提供了一个很好的起点。最初，我们希望与NIST先前的PQC项目的初步提交相比，代码质量要高得多。但是，我们非常失望：一半的提交利用动态记忆分配，通常是完全没有理由的；许多实施情况都有编译器警告，有时暗示更严重的问题。许多实现不会通过简单的消毒剂测试，例如使用Valgrind；多个实现利用静态内存。
2024年9月6日 - 德国Kaiserslautern
前言，我们希望您参加第27届攀岩和步行机器人国际会议 - Clawar 2024！成立于1997年，Clawar会议已成为国际机器人社区中盛大的年度活动。今年，Clawar 2024是由RPTU KAISERSLAUTERN-LANDAU和信息技术研究中心的RPTU KAISERSLAUTERN-LANDAU和FZI的机器人研究实验室组织的。我们很荣幸欢迎您参加Kaiserslautern市今年的会议。Kaiserslautern是德国西南部莱茵兰 - 帕宁特州的工业和大学城。我们的城市直接附着在德国最大的连续森林的西北边缘。因此，Kaiserslautern在南部和东部被树木繁茂的高度（如Humberg或Kahlenberg）精美。Clawar 2024位于国际知名的研究所弗劳恩霍夫·Zentrum Kaiserslautern中。Clawar 2024涵盖了步行和攀登机器人研究，开发和创新的所有主要领域。除其他外，提出了新的应用和当前趋势，基于AI的感知和控制解决方案，创新的设计概念，康复和专业系统以及双皮亚和四足动物的步行机。，我们为三位著名的全体演讲者以及在其主要研究领域的未来创新提供的创新感到非常自豪。这些是Marco Hutter（27年攀登和步行机器人 - 我们在那里吗？），Alin Albu-Schäffer（扭矩控制或本质上符合？dlr在稳健，有效的双头和四倍的机车上的观点）和navinda kottege（两个，四个或六个？腿部机器人用于现实世界中的探索和检查）。对我们来说，拥有另外两个主题演讲者 - 本杰明·莫蒂斯（Benjamin Mottis）（创建自主机器人的工作）和katja mombaur（人形机器人机器人和外骨骨骼中的双皮亚动力学 - 从基准测试框架中，从基准测试框架中进行了高效控制者），要求对会议的高质量审查，以备受质量的质量，以备受质量的质量。审查过程导致接受了49篇定期论文和14张海报的贡献，中有75份原始提交。在整个会议期间都提出了所有公认的贡献，在14个技术会议上组织，将来自15个国家的领先的机器人研究人员汇总在一起。所有作者的出色工作以及所有审稿人的专业和详细反馈给作者的特殊认可。在学术会谈外，还组织了几项技术和社交活动，以支持整个会议的友好，合作和创新的精神。除其他外，其中包括技术展览，游览和导游。尤其要感谢参展商MAB机器人，Mybot Shop，DFKI机器人创新中心不来梅，DLR机器人和机电机器人学院，ETH的机器人系统实验室，服务机器人实验室，FZI的Service Robotics Lab，FZI，机器Intelligence and Machine Intelligence and Robotics在Kit和Robotics the Robotics for Robots for rptutu kaiesland for rptutu kaiasera for rptutu kaiasera intuutututututututu kaaisera-机器。组织这次会议需要大量工作，我们要感谢所有参与人员的时间和精力。衷心感谢您向我们的主要赞助商，Deutsche Forschungsgemeinschaft（DFG）和Hübner基金会。此外，我们要感谢Fraunhofer中心Kaiserslautern提供的会议地点。我们的真诚感谢也感谢Clawar协会，国际科学委员会，会议的顾问委员会以及国家和地方组织委员会的宝贵支持。
BAA 呼叫 N00014-23-S-BC05 海军研究办公室特别计划公告
研究机会：物理和网络层原型 (PNLP) I. 简介 本公告描述了一项海洋战场水雷战和海洋工程系统科学与技术 (S&T) 工作，名为“物理和网络层原型”，隶属于 N00014-23-S-B001 工作，是海军和海军陆战队科学与技术的 FY23 长期广泛机构公告 (BAA)，可在 https://www.nre.navy.mil/work-with-us/funding-opportunities/announcements 找到。提案的提交、评估以及研究补助金和合同的发放将按照上述 BAA 中所述进行。本公告的目的是引起科学界对 (1) 要研究的领域、(2) 2023 年 2 月 10 日的机密行业日，供对此领域感兴趣的人进行对话，以及 (3) 提交白皮书和完整提案的计划时间表。II.主题描述 提议的主题将探索和开发用于多种空中、地面和地下系统的海底多模态通信范例。PNLP 计划将致力于硬件（调制解调器和测试框架）和软件（包括新波形）的开发，以支持有人和无人驾驶车辆的海底多模态通信。 背景：优化和定制海底资产之间的通信的能力长期以来一直是环境优先的范例。有人和无人资产推动着通信范例，并可以利用环境获得集体利益。这项工作代表了海底多模态通信技术发展的演变，以实现持久性和针对特定环境的定制环境增益。 目标：海军研究办公室 (ONR) 有兴趣收到有关支持海上通信硬件和软件技术的技术提案。这项工作希望在海底环境和通过空气-水界面提供资产之间有保证的、优化的通信。硬件和软件技术解决方案都应解决吸收和转换不同通信模式的能力，并针对其呈现的环境对其进行优化。
提高密码标准化中的软件质量...
摘要 — NIST 后量子密码 (PQC) 标准化项目可能是迄今为止规模最大、最雄心勃勃的密码标准化工作，因此它成为密码标准化项目的绝佳案例研究。预计随着 2022 年初第三轮的结束，NIST 将宣布第一组推进标准化的原语，因此现在似乎是回顾并看看可以从这项工作中吸取什么教训的好时机。在本文中，我们研究了 NIST PQC 项目的一个特定方面：软件实现。我们观察到，作为提交包的强制性部分包含的许多实现质量很差，并且忽略了软件工程中数十年历史的标准技术，以保证一定的基线质量水平。因此，如果不先花费大量时间来清理提交的参考实现，就不可能在后量子协议迁移和软件优化工作的实验中轻易使用这些实现。我们并不是要批评向 NIST PQC 提交包括软件实现在内的提案的密码学家：毕竟，不能合理地期望每个密码学家都具备软件工程方面的专业知识。相反，我们建议 NIST 等标准化机构如何在未来的努力中改进软件提交流程，以避免提交的软件出现此类问题。更具体地说，我们提出了 PQClean，这是一个用于 PQC 软件的广泛（持续集成）测试框架，现在还包含 NIST 第 3 轮候选方案的“干净”实现。我们认为，如果在提交截止日期之前很久就提供这样的框架（无论是在线持续集成设置，还是离线测试系统），那么 NIST PQC 提交中将包含更好的实现，并且总体上将为社区和 NIST 节省大量时间和精力。