密码算法的代码验证和安全实现--研究survey

作者: RomanGol | 来源:发表于2019-10-28 21:31 被阅读0次

密码算法的代码验证和安全实现--研究survey
总结
algorand算法学习笔记
区块链系列-001-基础概念
GitHub配置SSH Key
DES加密算法原理
国密在车联网安全认证场景中的应用
Java分组密码算法DES
Python代码规范整理
《微服务设计》读书笔记（九）

这方面的研究最近非常热，IEEE Symposium on Security & Privacy 2019 (S&P'19)发表了一篇Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises，相关github页面 fiat-crypto: Cryptographic Primitive Code Generation by Fiat

之前还有一些研究论文（包括CCS 2017的HACL和今年最新的EverCrypt）：

Secure, fast and verified cryptographic applications: a scalable approach

HACL*: A Verified Modern Cryptographic Library

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

其中EverCrypt号称完成了经过验证、且和其它所有密码算法库实现相比性能最好的Curve25519实现（即使其它密码算法库没有经过验证，例如OpenSSL）

密码算法的代码验证和安全实现--研究survey
这方面的研究最近非常热，IEEE Symposium on Security & Privacy 2019 (S&...
总结
1、各种排序算法思想及代码的实现2、flex布局全方位掌握，对于不兼容浏览器该怎么处理。3、验证登录密码的等级4、...
algorand算法学习笔记
密码抽签密码抽签算法用来决定谁来验证下一个block。密码抽签按两条线索执行：选出“验证者”和“领导者”； ...
区块链系列-001-基础概念
区块链系统结构组成共识机制（实现节点的数据一致）密码算法（实现数据不可篡改和发送安全）网络路由（节点发现与同...
GitHub配置SSH Key
SSH Key 介绍 SSH提供了两种级别的安全验证第一种级别是基于密码的安全验证，知道账号和密码，就可以登陆到远...
DES加密算法原理
什么是对称密码算法网络安全通信中要用到两类密码算法，一类是对称密码算法，另一类是非对称密码算法。对称密码算法有时...
国密在车联网安全认证场景中的应用
前言国密即国家密码局认定的国产密码算法。通过自主可控的国产密码算法保护重要数据的安全，是有效提升信息安全保障水平...
Java分组密码算法DES
Java分组密码算法DES 1实验内容掌握分组密码算法DES方法,能用高级语言实现分组密码算法DES。DES算法...
Python代码规范整理
通用类 I. 代码实现 1.1 加密算法 1.1.1【必须】避免使用不安全的对称加密算法 DES和3DES已经不再...
《微服务设计》读书笔记（九）
安全 1. 身份验证和授权验证：通常通过用户名和密码。通常我们把进行身份验证的人或事为主体（principle）...