machine learning LeNet：第一个卷积神经网络 LeNet 是 Yann LeCun 等人在上世纪 90 年代提出的网络模型，用于手写数字的识别。本文介绍了该模型，并提供 PyTorch 实现。
Crypto 格密码笔记（四） 本文正式开始对 lattice 的讨论。我们给出了 lattice 的代数定义和几何定义，并讨论了 lattice 的基、基变换、基本域、协体积等概念，并给出了特殊条件下求协体积的算法。
Crypto 格密码笔记（一） 这是 Lattice Based Crypto 系列的第一篇文章。本文简要介绍了格密码学的特性，并分析了一个传统公钥密码学中的简单案例，以初步体会 lattice 的思想。
algorithm 快速傅里叶变换 快速傅里叶变换 (FFT) 可以快速求出多项式的 DFT、从 DFT 逆推出多项式的各个系数。借助FFT，可以在 O(n log n) 的时间复杂度内完成多项式乘法。
Software Construction 软件构造：Guava 的使用 Guava 是 Google 为 Java 开发的第三方库，有很多的增强和扩展。本文以软件构造 Lab3 的实验代码为例，记录了 Guava 的使用。
writeup Babylfsr writeup 本文是 2019 年 De1CTF 的密码学题目 Babylfsr 的 writeup。需要根据 256 级 lfsr 连续 504 个 bit 的产出，求出掩码和初始状态。
