Afstudeerprojecten bij de LOOP groep binnen ITT

De LOOP groep (o.a. Jacobs, Poll, Meijer, van den Berg) werkt aan formele methoden voor object-georienteerde talen en aan security issues. Deze onderwerpen komen samen in een belangrijk toepassingsgebied: de nieuwe generatie van smart cards, waarop kleine Java programma's kunnen draaien.

Betrouwbaarheid van deze kaarten, van de programma's die erop draaien, en van de manier waarop ze gebruikt worden, is van groot belang. De LOOP groep is coordinator van een EG-project VerifiCard op dit gebied, en wordt ondersteund met een zogenaamde Pionier subsidie van NWO.

Er bestaan hier veel afstudeermogelijkheden op het gebied van security en programma correctheid, bijv.

• Ontwikkelen van correctheidsspecificaties in de annotatietaal JML voor Java programma's, bijvoorbeeld voor smart card toepassingen.
• Ontwikkeling van smart card programma's voor specifieke toepassingen. Deze kunnen uiteindelijk daadwerkelijk gedownload worden op beschikbare iButtons of smart cards.
• Beschrijving en analyse van security scenario's, met name voor smart cards, bijvoorbeeld voor electronic commerce.
• Theoretische projecten op het gebied van semantiek en correctheid van object-georienteerde (Java) programma's, bijvoorbeeld met gebruikmaking van prooftools zoals PVS.
• Iets gerelateerds wat je zelf leuk lijkt.