密码案例研究
分配给穆罕默德·阿西夫的项目描述如下：
该项目旨在提出加密语言的扩展，使其对DSP范式有用。发明Cryptol是为了通过提供指定加密协议的专门方法来帮助加密人员。我们希望通过在DSP领域进行一些案例研究，来研究在Cryptol中指定DSP算法的可行性。
以下是该项目的初步步骤：
- 学习加密语言并进行编程练习。研究Cryptol语言的高级特性以充分利用它。需要分析所有功能，因为我们打算提出对加密语言的扩展，为此有必要证明当前的实现是不够的。
- 探索加密工具集的其他功能，例如验证、代码生成等。因为验证实现是正确实现的证明，这一点很重要。
- 研究DSP领域中最关键和最广泛使用的DSP算法（最好有DSP工作人员的帮助）。获得各种算法进行研究是很好的，因为我们希望涵盖要实现的最常用和最有效的功能。
- 了解DSP算法的各种操作输入和构建输出的方法（我可能很难理解它们实际实现了什么）。
- 为上一步研究的DSP算法编写加密规范，并与C、VHDL或MATLAB中的标准实现进行等价性检查。
- 基于抽象级别和编码的易用性，将Cryptol中的实现与C或MATLAB中的现有实现进行比较。
- 前一步中所做的研究将为我们提供一个基础，以建议如何扩展Cryptol以匹配典型DSP算法的需求。每个扩展的适用性将受到我们进行的详尽案例研究的影响。
- 在Haskell中将一个建议的扩展实现为嵌入式语言，并使用Quickcheck验证其正确性。
上述建议基于以下建议：
加密是一种用于密码算法设计的领域特定语言，由开发Galois公司它旨在支持密码算法的明确规范，帮助测试和验证此类算法，并实现安全快速地重定向到新的硬件和软件平台。
与爱立信合作，Chalmers Functional Programming小组刚刚开始一个项目，开发用于数字信号处理（DSP）算法设计的领域特定语言。我们希望提高DSP算法开发和实现的抽象级别。Cryptol是这个项目的灵感来源之一。因此，作为第一步，我们将尝试使用密码进行DSP算法设计。（这也是Galois感兴趣的事情，因为他们有兴趣将Cryptol的使用扩展到更大的DSP市场。）
该项目将在Cryptol中实现一些中小型DSP算法，并将总结其在这一新领域的优势和劣势。该项目的成果将是关于如何扩展Cryptol以提高其在DSP中的应用的建议。如果质量足够高，这部作品将适合在研讨会或会议上作为论文发表。
项目活动概述：
- 学习加密语言。
- 研究DSP算法并选择合适的案例研究，涵盖DSP算法的一些典型方面。
- 进行这些案例研究。
- 例如，通过与C或matlab进行比较来评估结果。
- 建议对Cryptol进行扩展，使其更适合在DSP领域中使用。
- 至少对其中一个扩展进行原型化（可能直接作为Haskell中的DSL）。
前提条件：函数编程、编程范例或编程语言，有DSP背景者优先；有硬件描述和验证是一个优势，但不是一个要求。您应该对函数式编程和一般编程语言都感兴趣。
联系人：Patrik Jansson+Joel Svensson（玛丽·希兰）
人数：1-2
