Summer Day

[2020][ASIACRYPT]Estimating quantum speedups for lattice sieves 报告文字版Eamonn W. Postlethwaite​ Hello, everybody and thank you for watching this youtube video.I’m going to be presenting work on 《estimating quantum speedups for lattice sieves》. And this is

Anaconda（Ubuntu20.04上）安装fpylll库教程写在最前面：本来是想直接在Windows上安装fpylll库和sage库的，后来发现fpylll库的依赖库fplll和sage库在windows版的Anaconda上都无法安装，所以我只能退而将其安装在linux内核上了，结果linux内核要安装图形化界面非常麻烦，我只能选择在虚拟机上操作。一开始用的Win10自带的hyper-V，但hyper-V的vm tool不支持Ubuntu20.04，最后博主只能选择在vmware上跑ubuntu来

1. 什么是AVISPA真是对不起提问的大家了，我好像没说清楚AVISPA是什么了。根据官网的定义来吧：AVISPA stands for Automated Validation of Internet Security Protocols and Applications.翻译下：AVISPA是一种用于自动证明网络安全协议与应用的工具集。贴一下AVISPA的官网地址：http://www.avispa-project.org/2. SPAN下载AVISPA的工具包集成在了一个叫SPAN的

最近在带家教教学生信息安全数学基础，给他布置了Fermat素性检测算法编程实现的大作业。怕他不会，在这里写下教程，希望他能看到。（原理与算法部分摘自信息安全数学基础老师的课件）原理算法python实现from random import random#利用辗转相除法求最大公因数def BFactor(a,b): #若b>a，则交换两个数的值 if(b>a): t=a a=b b=t r = b #初始化r

最近在写密码算法与应用的大作业，看到网上的Miller-Rabin素性检测算法大多写得不是很清楚，就想简单描述下Miller-Rabin素性检测算法的具体算法内容(下面的算法流程和原理部分均摘自信息安全数学基础老师的课件）。原理算法代码实现（后续补充）...

利用AVISPA证明UAKA-D2D协议一、UAKA-D2D协议符号说明符号含义UEiUE_iUEi​/UIDiUID_iUIDi​使用者的设备iii/iii的身份码HNiHN_iHNi​/HNIDiHNID_iHNIDi​UEiUE_iUEi​的本域网/UEiUE_iUEi​本域网的身份码VNiVN_iVNi​/VNIDiVNID_iVNIDi​UEi...

注：basic role 命名时必须得写成role_…注：参变量首字母必须大写注：def和=中间不能有空格一、参与者role role-name (类型化参数) played_by player def =local %本地变量const %常量init %初始化变量transition %转换end rolebasic role记录模型中不同类型的角色的行动。(dy)...

LFSR——二进制下线性反馈移位寄存器与Berlekamp-Massey算法转载自：元暑期学校课件(侵删)线性反馈移位寄存器（LFSR）给定一个线性反馈移位寄存器(LFSR)的n个初始值a0,a1,...,an−1a_0,a_1,...,a_{n-1}a0​,a1​,...,an−1​，不断地加移位脉冲，n级LFSR就会输出一序列a0,a1,a2,...a_0, a_1,a_2,......