Case Studies in Cryptol
Project assigned to Muhammad Asif with the following description:
The project is aimed to propose an extension to the Cryptol Language to make it useful for the DSP paradigm. Cryptol was invented to assist Cryptographers by providing a specialized way of specifying the Cryptographic protocols. We want to investigate the feasibility of specifying DSP algorithms in Cryptol by doing some case studies in DSP domains.
Following are tentative steps for the project:
The above is based on the following proposal:
Cryptol is a domain specific language for the design of cryptographic algorithms, developed by Galois, Inc. It aims to support the unambiguous specification of cryptographic algorithms, to aid in testing and verification of such algorithms, and to enable safe and rapid retargetting to new hardware and software platforms.
With Ericsson, the Chalmers Functional Programming group is just starting a project to develop a domain specific language for Digital Signal Processing (DSP) algorithm design. We would like to raise the level of abstraction at which DSP algorithms are developed and implemented. Cryptol was part of the inspiration for this project. Therefore, as a first step, we would like to experiment with using Cryptol for DSP algorithm design. (This is also something that interests Galois, as they are interested in expanding the use of Cryptol into the larger DSP market.)
This project will implement some small and medium-sized DSP algorithms in Cryptol, and will summarise its strengths and weaknesses in this new domain. A result of the project will be proposals for how Cryptol should be extended to improve its applicablity in DSP. If of sufficiently high quality, this work will be suitable for publication as a paper in a workshop or conference.
Outline of project activities:
Prerequisites: Functional programming, Programming paradigms or Programming languages, preferably some background in DSP; having taken Hardware description and verification is an advantage but is not a requirement. You should be interested both in functional programming and in programming languages in general.
Contact: Patrik Jansson + Joel Svensson (Mary Sheeran)
Number of people: 1-2