Epidemic contact tracing with smartphone sensors

ABSTRACT

Contact tracing is widely considered as an effective procedure in the fight against epidemic diseases. However, one of the challenges for technology based contact tracing is the high number of false positives, questioning its trust-worthiness and efficiency amongst the wider population for mass adoption. To this end, this paper proposes a novel, yet practical smartphone-based contact tracing approach, employing WiFi and acoustic sound for relative distance estimate, in addition to the air pressure and the magnetic field for ambient environment matching. We present a model combining six smartphone sensors, prioritising some of them when certain conditions are met. We empirically verified our approach in various realistic environments to demonstrate an achievement of up to 95% fewer false positives, and 62% more accurate than Bluetooth-only system. To the best of our knowledge, this paper was one of the first work to propose a combination of smartphone sensors for contact tracing.     

结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。     

Key-dependent side-channel cube attack on CRAFT

CRAFT is a tweakable block cipher introduced in 2019 that aims to provide strong protection against differential fault analysis. In this paper, we show that CRAFT is vulnerable to side-channel cube attacks. We apply side-channel cube attacks to CRAFT with the Hamming weight leakage assumption. We found that the first half of the secret key can be recovered from the Hamming weight leakage after the first round. Next, using the recovered key bits, we continue our attack to recover the second half of the secret key. We show that the set of equations that are solvable varies depending on the value of the key bits. Our result shows that 99.90% of the key space can be fully recovered within a practical time.     

A New NTRU-Type Public-Key Cryptosystem over the Binary Field

As the development of cloud computing and the convenience of wireless sensor netowrks, smart devices are widely used in daily life, but the security issues of the smart devices have not been well resolved. In this paper, we present a new NTRU-type public-key cryptosystem over the binary field. Specifically, the security of our scheme relies on the computational intractability of an unbalanced sparse polynomial ratio problem (DUSPR). Through theoretical analysis, we prove the correctness of our proposed cryptosystem. Furthermore, we implement our scheme using the NTL library, and conduct a group of experiments to evaluate the capabilities and consuming time of encryption and decryption. Our experiments result demonstrates that the NTRU-type public-key cryptosystem over the binary field is relatively practical and effective.     

四川盆地高石梯-磨溪地区下二叠统气源示踪

以天然气、烃源岩及储层沥青的地球化学特征为主要依据,通过天然气-天然气、储层沥青-烃源岩、天然气-烃源岩3个方面对比,深入探讨四川盆地高石梯-磨溪地区下二叠统天然气来源。研究表明,四川盆地高石梯-磨溪地区下二叠统天然气主要来源于筇竹寺组泥岩。其5项证据分别为:下二叠统天然气乙烷碳同位素小于-30.5‰,甲、乙烷碳同位素倒转是由高演化程度烃源岩所致;多数下二叠统天然气与龙王庙组天然气特征最为相似;GS18,NC1井下二叠统天然气特征与寒武系相似,说明上下层气源一致;高石梯-磨溪地区下二叠统储层沥青地球化学特征与筇竹寺组泥岩最为相似;筇竹寺组泥岩主要为下二叠统供气,这一认识符合干酪根油气生成理论和同位素分馏规律。     

一种军棋机器博弈的多棋子协同博弈方法

针对在军棋博弈不完全信息对弈中，面对棋子不同价值、不同位置、不同搭配所产生的不同棋力，传统的单子意图搜索算法，不能满足棋子之间的协同性与沟通性，同时也缺乏对敌方的引诱与欺骗等高级对抗能力。本文提出一种结合UCT搜索策略的高价值棋子博弈方法，实现高价值棋子协同博弈的策略。实战经验表明:高价值多棋子军棋协同博弈策略优于单棋子军棋博弈策略。     

Thaumasite––direct, woodfordite and other possible formation routes

Two main formation routes for thaumasite exist below 15 °C. One is the direct route from C–S–H reacting with appropriate carbonate, sulfate, Ca²⁺ ions and excess water. The other route is the woodfordite route from ettringite reacting with C–S–H, carbonate, Ca²⁺ ions and excess water, in which thaumasite arises through the intermediate formation of the solid solution woodfordite. The woodfordite route for thaumasite formation appears to be relatively quicker (although still slow) than the direct route, presumably because with the former the ettringite already has the octahedral [M(OH)₆] units that can facilitate the critical change from [Al(OH)₆]³⁻ to [Si(OH)₆]²⁻ groupings. Both routes are mutually dependent on each other. The presence of magnesium salts can modify the path to thaumasite formation. High pressure might be able to stabilise [Si(OH)₆]²⁻ groupings and allow thaumasite to become formed above 15 °C. This possibility is discussed.     

外伴管伴热系统传热特性及优化的数值研究

利用FLUEM软件,对外伴管伴热体系传热特性及其优化进行了数值分析与讨论.分析表明系统中存在传导、对流及辐射传热,其中封闭空气夹层又存在层流自然对流.计入空气对流的模拟表明,工艺管受热不均匀,而伴管布置在其正下方、保持空气层不被保温层挤占可提高伴热效果.伴热平衡时,伴热介质温度、热损失随物料温度近似线性增加.空气层均温假设导致工程设计不合理,而降低工艺管与伴管之间的热阻是提高伴热能力的关键.     

三维最短路径法射线追踪及改进

射线追踪技术在地震学领域有着广泛的应用，其中以最短路径算法在复杂介质中走时计算稳定性最好。理论上最短路径法的误差来源为速度模型采样误差、空间离散化误差和角度离散化的误差，由此造成网格稀疏时射线路径呈之字形，计算走时比实际走时偏大。弯曲法追踪精度高，但是射线追踪速度受初始路径与真实射线路径逼近程度制约，在复杂介质中可能找不到全局最小走时路径。最短路径法追踪出来的网格射线路径，可以作为较理想的初始路径，供弯曲法迭代优化。将最短路径法和弯曲法结合，通过射线在初始路径附近的扰动得到Fermat原理约束下的最短路径。文章对常速模型的试算，显示了改进方法对射线路径优化的作用，在模型网格稀疏的情况下效果尤其明显。本算法适用于计算三维任意复杂介质中初至波走时和射线路径，可应用于三维走时层析成像等领域。     

连续波半主动雷达制导空空导弹截获跟踪距离计算

分析了连续波半主动雷达制导导弹导引头工作电磁环境和对武器系统攻击区的影响，建立了热噪声和杂波干扰环境下导引头截获距离方程，分析推导了直波泄漏干扰，地杂波干扰的计算公式，并在此基础上给出了导弹允许攻击区计算公式。