Case Studies in Cryptol - A study of domain specific languages for DSP algorithms

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/112029
Download file(s):
File Description SizeFormat 
112029.pdfFulltext645.86 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Case Studies in Cryptol - A study of domain specific languages for DSP algorithms
Authors: Asif, Muhammad
Abstract: Digital Signal Processing (DSP) has become part of many electronic applications these days; confluent to this, Domain Specific Languages (DSLs) are prevailing among practitioners of many engineering domains. Cryptol is a domain specific language for cryptography, it was designed by Galois and it has been used by NSA from the start. Cryptol is designed for cryptographic specifications; however, this project aims at evaluating Cryptol as a domain specific language for digital signal processing algorithms. The report also includes a proposal for extensions to Cryptol to make it applicable to DSP algorithms. This thesis derives its motivation from the DSL for DSP research that the Functional Programming group has started with Ericsson. This project involved implementing a set of DSP algorithms in Cryptol and analyzing applicability of Cryptol from the experiences in this new domain. This study shows that Cryptol is too specialised to cryptographic algorithms and that it is not possible to specify, run or verify many DSP algorithms in Cryptol. However there is a special class of DSP algorithms that are far easier to code in Cryptol than in C or Java. Small overlap with DSP algorithms was expected since DSLs are customized for a certain problem area. The evaluation of Cryptol in the DSP domain revealed that some enhancements are necessary to make it applicable to DSP algorithms. The outcome of this study is a set of extensions to Cryptol which are discussed towards the end of this report.
Keywords: Programvaruteknik;Software Engineering
Issue Date: 2009
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/112029
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.