2013-05-26

SECUINSIDE CTF Quals 2013杂记

Secuinside CTF Quals 2013

Secuinside是韩国人办的信息安全比赛，在ctftime.org上排名很靠前。这次应该算是我第二次参加类似的比赛，不过这类做题形式的还是头一次。

2013-05-10

String index structure: suffix automaton

Suffix automaton

Deterministic acyclic finite state automaton，也叫directed acyclic word graph(DAWG)，是一个识别若干字串的无环DFA。识别若干字串的所有DAWG中，存在唯一一个状态数最少的DAWG，称作minimal DAWG，即识别这个字串集的DFA。

DAWG在有些文献中也指识别一个字串的所有后缀的自动机，这种用法有个更常见的名称：suffix automaton，此时该自动机可以看做是字串所有后缀的DAWG。

2013-02-24

TUNA技术沙龙及A Pretty Printer Library in Haskell

技术沙龙准备

三天前王康提议开学前的周末搞个活动，之后敲定由Cheer Xiao、heroxbd、Aron Xu和我做演讲。得到消息很诧异，因为以上几位都有丰富的系统管理经验，我就不知道能干什么了……但毕竟被逼上梁山了，最后Cheer Xiao让我讲Haskell。

2013-02-21

使用Double-array trie优化Proxy auto-config

Proxy auto-config

浏览器的proxy auto-config让我们可以根据URL和host决定使用什么代理。

2013-02-10

使用Burkhard-Keller tree优化近似串匹配

Approximate string matching

近似字符串匹配问题。

Levenshtein edit distance

在metric space中衡量两个字符串差异程度的一个指标，即通过一系列单字符的编辑操作把字符串A变成字符串B所需的最小编辑次数，其中的编辑操作可以是插入字符、删除字符以及修改字符。

计算编辑距离有个经典的Wagner-Fischer算法，使用了动态规划，用d(i,j)表示把字符串A的前i个字符变成字符串B的前j个字符所需的最小编辑次数（即子串的编辑距离）。

2012-12-26

Python is ugly

False values

这些都是false value：None, False, 0, [], {}, ''。判断empty的应用场景可能多些，如果像Ruby那样只让nil和false为false就好了。

2012-12-09

异于Make的另一种构建系统

以Make为例的传统构建系统

传统的构建系统如Make，用户指定项目中所有目标文件(非源文件)的产生方式，储存在makefile文件中。

考虑如下的伪makefile：

1
2
3

main: a.o b.o
a.o: a.c main.h
b.o: a.c main.h

2012-11-25

RuCTFE 2012参赛记

海底捞火锅

RuCTFE 是一个面向全世界的信息安全比赛，每个队伍保护自己的机器，攻击其他队伍的机器，长达8个小时紧张激烈的对抗和赛前犒赏队员的火锅标志着它是这一年我参与的最有意义的事之一，因而在这里简要记录下来。有幸收到《Metasploit渗透测试指南》的译者孙松柏的邀请，成为 blue-lotus 队的一员，和网络安全实验室的同学一起出发，晚上一群人去吃牡丹园的海底捞火锅壮行。