An Extension to the Eclipse IDE for Cryptographic Software Development

First of all I would like to thank my supervisor Manuel Bernardo Barbosa for all oppor-tunities, guidance and comprehension that he has provided to me. I would also like to thank my friends, André, Pedro and Ronnie for the support given to me during this difficult year. To Ana the kindest person in the world, who is always there for me. And finally, to my mother to whom I dedicate this thesis. Thank you all, Miguel “Prediction is very difficult, especially about the future.” Niels Bohr ii Modern software is becoming more and more, and the need for security and trust is de-terminant issue. Despite the need for sophisticated cryptographic techniques, the current development tools do not provide support for this specific domain. The CACE project aims to develop a toolbox that will provide support on the specific domain of cryptography. Several partners will focus their expertise in specific domains of cryptography providing tools or new languages for each domain. Thus, the use of a tool integration platform has become an obvious path to follow, the Eclipse Platform is defined as such. Eclipse has proven to be successfully used as an Integrated Development Environment. The adoption of this platform is becoming widely used due to the popular IDE for Java Development (Java Development Tools). In this thesis we analyze the Eclipse platform as an integration platform for crypto-graphic software and provide a proof of concept editor for the CAO language using Eclipse