Page heading
Languages and Services
  
    You are here menu
    Subpage heading
    Media Security / Prof. Dr. Stefan Lucks
    Navigation
    Additional Content
    Main Content

    Further development of a cryptographic library in Ada'05

    Project

    Lecturer: Christian Forler, Stefan Lucks and Jakob Wenzel

    Remark:

    The aim of this project is to extend the functionality of an existing cryptographic library (LibAdaCrypt). 

    Appointment times:

    • Kick of meeting: Medseclab B11, K19; October 17, 2011, 1:30 pm
    • Ada-Tutorial: Medseclab B11, K19; October 18, 2011, 5:00 pm
    • Project-Meeting: Medseclab B11, K19; October 26, 2011, 11:00 am

    List of Participants:

    • David Franklin
    • Thomas Knapke
    • Heinrich Paul Schilling
    • Bastian Weber
    • Hui Xue

    Grading:

    Project Presentation

     Slides:

    Task List

    • Add ACL-Test to improve the code coverage of our ACL-Unit-Test-Framework based on AUnit.
    • Implementation of authenticated encryption schemes like OCB from Rogaway. (Package Specification: crypto-symmetric-ae.ads).
    • Implementation of  nonce generators peresented in the Paper "Nonce Generators and the Nonce Reset Problem" by Zenner  (Package Specification: crypto-nonces.ads).
    • Specification od pre- and post-conditions for the BigNumber package in Ada'12.
    • Implementation of OMAC.
    • Replace the encryption and deceryption procedures by functions.

    Target Audience:

    Computer Science and Media M. Sc, und Medieninformatik B. Sc.

     

    Content signature