麻省理工学院CSAIL研究人员发布用于保护在线通信的新菲亚特密码工具

 
目前，在线安全问题比以往更加严重，主要原因是有几起关于安全漏洞，黑客攻击事件的事件，因此，科学家们正在不懈地努力创建能够更好地保护数字空间数据的系统。
在这方面取得了重大突破，因为麻省理工学院的计算机科学和人工智能实验室已成功创建了一个系统，该系统将运行数学算法，以确保在线通信的安全性。
这被称为法定密码术，它是迄今为止保护90%谷歌Chrome通信的代码。法国密码学的论文于2019年5月在EEE安全与隐私研讨会上正式提出，尽管该技术早在2018年就被理论化和部署。
菲亚特密码术的工作原理是为所有硬件平台生成和优化加密算法，这一过程过去完全是手工完成的，现在已经自动化了。
有趣的是，直到一年前，互联网数据加密完全由一组人员完成，他们手动编写和重写对数以及手动加权数学技术和芯片架构以优化性能。
人们可能会认为这样的过程几年前就会自动化，但显然情况并非如此。
显然，该系统存在许多缺陷，例如人为错误以及非最佳算法。还有数学和芯片架构的问题，算法是为了变得过时而发生的，当这发生时，过程必须重新开始，以便更新它。
研究人员首先在C编程和汇编语言中寻找解决方案，然后将技术转移到他们的代码库，这是一个在对数上表现最佳的列表。
使用编译器将编程语言转换为代码，然后使用Coq自动校对，Coq是一个数学定理证明器。在进行了多次测试后，针对特定芯片架构选择了性能最佳的迭代。
在研究过程中，研究人员利用了已经存在的代码体，发现为数据加密生成密钥和证书的自动化过程与手写技术具有相同的性能，但是所需的时间更少通过自动化实现它。
“这基本上就像是采用人脑中的一个过程并充分理解它来编写模仿该过程的代码，”负责该项目的CSAIL研究员Adam Chlipala说。
此后，谷歌的BoringSSL已经使用了平板摄影，这是一个开放性的加密库，可供各种程序使用，例如Android应用程序和谷歌浏览器。
在他的研究期间，Chlipala得到了CSAIL的几名研究生和一名工程研究生的帮助，他们目前正致力于使编译器在搜索优化算法方面更快地工作。