所以勇往直前吧。跌倒吧。你会从地上看到一个不同的世界。

Cryptography is about communication in the presence of adversaries.

The challenge in model checking is not just to find errors, but to understand why they occur.

我不是悲观主义者，我是一个受过悲观主义训练的乐观主义者。

我不想出名，我只想做我喜欢的事。