ShanghaiTech · CS · Research Notes

你好,我是 To1in。

上海科技大学计算机硕士生,陈浩贤老师课题组成员。关注形式化方法、程序验证,以及区块链漏洞的检测与修复。

  • Formal Methods
  • Blockchain Security
  • Cryptography

也记录旅行、音乐,以及研究之外仍值得记住的日常。

线条小狗中的小金毛动图
Currently exploring用形式化方法让程序更可靠。
What I write about

从密码题解走到程序验证,也把研究之外的生活认真留下。

01密码与安全CTF · Crypto · Blockchain02研究与学习Paper · Formal Methods · Systems03生活与见闻Travel · Music · Yearly Notes
Latest writing

最近写下的

全部 42 篇文章 →
工程实践

k8s配置文件语法学习

非常好导师,让我0基础从blockchain security转型分布式系统集群管理。 先来点K8S介绍吧 一、Intro of K8S Kubernetes(简称为K8s)是一个开源的容器编排平台,主要用于自动化部署、扩展…

生活随笔

2024年终总结(超长流水账+碎碎念)

2024对我来说似乎是一个很不一样的一年,相比于之前几年。 本来我以为今年没有去很多地方,但是翻看了一下相册,没想到今年还是有不少出去旅行的回忆。 23-24年的跨年我在西安和1997的好兄弟们,还有地导帝霸托,那是我第一次…

区块链安全

区块链初探-1

区块链初探 在好兄弟们的帮助下,终于开始进行区块链漏洞的学习,先是从Ethernaut (openzeppelin.com)开始入手(当脚本小子)。…

CTF

NCTF 2022 Official WriteUp——Crypto

Misc 只因因 首先通过重复的特征氨基酸序列对给出的基因片段进行排列 通过比对发现,3片段中的内容被1片段和5片段包含,6片段被2片段包含。 得出排序:4-2-5-1,把重复段去除,得到完整的基因段 TGTCTGCCATT…

密码学

扭曲爱德华曲线

扭曲爱德华曲线 0、摘要 1、原文摘要 本文主要介绍了扭曲爱德华兹曲线,它是对最近引入的爱德华曲线的一般化。扭曲爱德华兹曲线包含了更多有限域上的曲线,特别是蒙哥马利椭圆曲线。…