kavin 第74页

如何找出Timsort算法和玉兔月球车中的Bug？

0×00 背景形式化方法(Formal Methods)在我们一般人眼中是非常高大上的东西，最多也就是当年在课堂上听说过而已，在实际工作中很少有人使用。前一阵子Reddit上的一个帖子让高冷的形式化方法也上了一次头条，故事就...
kavin 2023.01.23 764浏览 0
公安部经侦局局长:要用大数据算法来研究经济犯罪

10月26日召开的第二届全国经侦论坛上，公安部经济犯罪侦查局局长高峰表示，经济犯罪侦查要拥抱新的技术革命，通过算法来研究经济犯罪对传统经侦工作是革新和颠覆。高峰还表示目前中国证券犯罪侦查工作人才少，建议警方的教育部门开设经济课堂，培养适应数据...
kavin 2023.01.23 753浏览 0
黑客用AI换脸技术应聘人工智能安全问题不容忽视

美国在疫情后，很多企业都采用“在家工作”（Work From Home，WFH）模式。美国联邦调查局（FBI）的犯罪投诉中心表示，他们近期接到许多企业雇主的投诉，在招聘过程中，有求职者盗用他人的身份，并且利用Deepfake技术参加远程面试。...
kavin 2023.01.23 739浏览 0
企业网络安全中的AI应用，你知道吗？

随着企业安全系统开发步伐的加快，新的和更复杂的网络攻击类型正在出现。据世界经济论坛报道，企业采取的保护措施瞬间过时。与前一年相比，攻击数量增加了30%，这种惊人的趋势仍在继续。市场缺少约272万网络安全专业人员来应对越来越多的威胁。这...
kavin 2023.01.23 669浏览 0
特斯拉Model 3和Y再临黑客中继攻击风险，10秒钟可开走汽车

...
kavin 2023.01.23 634浏览 0