Logo
Logo-Icon Sitemap Print-Icon Print-Version Contact-Icon Contact
  • Home
  • About IAIK
    • People
    • News
    • Events
    • How To Reach Us
    • Jobs
    • Privacy Policy
  • Research
    • Publications
    • Advanced Networking
    • E-Government
    • Formal Methods for Design & Verification
    • Implementation Attacks
    • Java-Security
    • Krypto
    • Secure & Correct Systems
    • Secure RFID
    • Trusted Computing
    • VLSI
  • Teaching
    • Bachelor Courses
    • Master Courses
    • Master Theses
    • Microsoft Academic Alliance
    • PhD
  • Partnerships
    • A-SIT
    • Stiftung SIC
Left Logo
Events
Secricom WP5 Workshop ETISS 2009 IAIK@School 2009 - Play Connect 4 - Play Tic Tac Toe VAM2 retreat

Part of the program: FIT
Right Logo
You are here: Start » About IAIK » Events » IAIK@School 2009

IAIK@School 2009

Graz, 13th July to 7th August 2009

Pupils learn from researchers

The goal of the summer internships is to encourage young girls to follow their interest in technical topics. This summer IAIK worked with 4 trainees to make its research areas attractive for the upcoming young academics. In this way the pupils can gain insight into the work at IAIK.

Team 1 - Introduction to the World of Cryptography

Tasks for Team 1:


Description

 

Here are our results


Sage files

Final presentation

Participants

 
Julia Hauser, BRG Kepler
Theresa Ulrich, BG/BRG Mürzzuschlag

Team 2 - Formal Methods for Design & Verification

What were the Lessons learned


What we have done - our work experience.

Description of the origin history of our Tic Tac Toe.

Description of the origin history of our Connect Four.

 

Our final presentation can be found here

 

Here are our results


Play Tic Tac Toe (against our solution)

Play Connect 4 (against our solution)

Participants

 
Beatrix Reif, HIB Liebenau
Laura Pelzmann, Bischöfliches Gymnasium

© 1990 - 2010 IAIK TU Graz
Contact | Jobs | Sitemap | Impressum