机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:基础可扩展Corecursion证明助手的观点
机译:关于直觉型理论证据助理代数基础
机译:VeriML:依赖类型,用户可扩展且以语言为中心的证明助手方法
机译:离散可交换代数构造理论的基础
机译:直觉型理论证明助手的代数基础