1. DSA变种以及批认证的安全性证明

    下面给出一个基于标准DSA数字签名算法的变种的形式化安全性证明,同时给出该算法的批量认证算法以及对应的安全性证明。

    2020/06/25 CTF

  2. miniLCTF NTRUEncrypto

    前两天我参加了西电校内的miniLCTF比赛,下面我分享一下Crypto部分的两道密码题的WriteUp。

    2020/05/12 CTF

  3. 使用LibtomCrypt密码库

    LibTom Projects are open source libraries written in portable C under a permissive license. The libraries supports a variety of cryptographic and algebraic primitives designed to enable developers and students to pursue the field of cryptography much more efficiently. Currently the projects consist of three prominent libraries (LibTomCrypt, LibTomMath and TomsFastMath) which form the bulk of the source contributions.

    2020/05/05 密码学

  4. 使用QEMU运行树莓派操作系统

    因为最近一些实验需要在树莓派平台上运行,但是设备都在学校实验室里。于是我打算用虚拟机来运行树莓派的操作系统。一开始的想法是使用VMware或者是Parallels Desktop虚拟软件,但是对于树莓派这么轻量的系统能否找到更便捷的方式呢,于是让我找到了QEMU这个工具。

    2020/05/01 探索

  5. 我和妹妹的抗癌日志

    今年4月伊始,我的妹妹确诊了恶性淋巴瘤,这个消息一下子打破了我们家平静的生活。从一开始的震惊和担心,慢慢的我们一家人都能够很好接受并积极面对这个难题。下面我用日志的形式记录下我和妹妹一起与病魔斗争的历程。

    2020/04/10 探索

  6. 使用OpenSSL库的DSA算法

    DSA(Digital Signature Algorithm)是一种签名算法,其安全性依赖整数有限域离散对数难题。DSA用于数字签名和认证,发送者使用自己的私钥对文件或者消息摘要进行签名,接收者收到消息后使用发送者的公钥来验证签名的真实性。下面给出如何调用OpenSSL库的DSA方法进行签名和验证。

    2019/12/03

  7. macOS配置无人机仿真环境

    MAVLink(Micro Air Vehicle Link,微型空中飞行器链路通讯协议)是无人飞行器与地面站GCS之间通讯,以及无人飞行器之间通讯最常用的协议。它已经在PX4、APM、PIXHAWK和Parrot AR.Drone飞控平台上进行了大量测试。下面的内容主要介绍如何在macOS配置无人机仿真环境,并使用wireshark监听地面站与无人机之间的MAVLink数据包。

    2019/11/18 无人机

  8. Sum Sum Sum

    本文主要总结一些关于数组求和的编程题目,它们的题目意思很简单也不难理解,但是要解决就需要一些小技巧了。

    2019/11/09 LeetCode