超级用心的博士论文排版 - 真正精致学术排版佳作

这是一篇 LaTeX 精排的博士论文，名为《Security Arguments and Tool-based Design of Block Ciphers》，作者是 Friedrich Wiemer，满足自然科学博士学位的要求。这篇论文的排版样式和内容如下：

排版样式：

• 使用了 LaTeX 和 memoir 文档类别进行排版。
• 基于 Aaron Turon 的学位论文《Understanding and expressing scalable concurrency》，该论文本身是 classicthesis 和 tufte-latex 的混合体。
• 正文使用了 10/14pt 的字体大小（长 primer），边注使用了 8/9pt 的字体大小（brevier）。
• 主体文本的字体是 Matthew Carter 的 Charter，用于文本和展示字体。
• 等宽文本使用的是 Jim Lyles 的 Bitstream Vera Mono（"Bera Mono"）。

代码获取

• https://github.com/pfasante/phd_thesis

• 网盘下载：https://pan.quark.cn/s/3816bf0a0a3f

内容摘要：

• 论文摘要提到，区块密码无疑是当今加密通信的支柱，是密码学的工作马。
• 论文分为两部分，第一部分提出了一种新的概念，以更好地理解一种特殊的密码分析，并提出了一个新的区块密码实例，据作者所知，这是第一个对任何差分都有严格界限的区块密码。
• 第二部分转向区块密码设计和分析的自动化方法。主要贡献是提出了一种通过加密轮次传播子空间的算法，以及两个应用：一种针对一种新型密码分析的算法安全性论证和一个自动化密钥恢复攻击的概念。

目录结构：

• 包括摘要、引言、算法列表、图表列表、表格列表等。
• 论文的主要部分包括对区块密码设计的讨论、安全性论证、自动化设计和分析方法等。

具体章节：

• 论文从引言开始，讨论了区块密码设计中的开放问题和论文的贡献。
• 接着，论文深入探讨了区块密码设计的技术和理论，包括伪随机置换和区块密码、实际安全性、布尔函数等。
• 在“安全性论证”部分，论文讨论了自相关表、差分密码分析、线性密码分析、差分-线性密码分析等。
• “自动化方法”部分则包括了关于 XOR 计数的启发式方法、传播截断差分的算法、密钥恢复技术等。

结论：

• 论文最后总结了研究成果，并对未来的研究方向提出了展望。

整篇论文的排版清晰、专业，内容涵盖了密码学领域中区块密码设计的安全性论证和自动化工具的设计，是密码学研究的重要文献。