News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

November 5, 2012

TREsPASS: new EU project on information security

Human behaviour key in protecting information assets

An information infrastructure may be protected by the best technical means possible, but in the end it is often human behaviour that leads to unwanted intrusion or to the theft of information. By themselves, technical solutions will not solve these problems. That’s why universities and companies all over Europe are getting involved in the TREsPASS project, which makes specific allowance for the human dimension. The aim is to develop a smart ‘attack navigator’, which will trace potential weak points within an organization or a given infrastructure. The 13.5 million € project, which is being coordinated by the University of Twente in the Netherlands, starts on 1 November.


Everyone is familiar with the yellow ‘Post-it’ memos, showing login details, that are often found stuck to computer monitors. The same goes for USB sticks found in car parks. However, few grasp the real impact of such actions on an organization’s business or brand. Both may eventually lead to data theft, not as a result of any technical failure, but as a result of the vagaries of human behaviour. The TREsPASS project’s `attack navigator’ combines technical and human aspects of security to identify weak points in organizations and their infrastructure. The tool can then help users to select the most effective countermeasures. To this end, the project combines knowledge from the technical sciences (how vulnerable are protocols and software?) and social sciences (how vulnerable are patterns of human behaviour and why?), as well as state-of-the-art industry processes and tools. Visualizing this information in a sufficiently expressive way is one of the challenges facing this project.
The TREsPASS is coordinated by Prof. Pieter Hartel of the University of Twente. The other partners in the project are the Technical University of Denmark, Cybernetica (Estonia), GMV Spain, GMV Portugal, Royal Holloway University of London (United Kingdom), itrust Consulting (Luxembourg), Goethe University Frankfurt (Germany), IBM Research – Zurich (Switzerland), Delft University of Technology (Netherlands), Hamburg University of Technology (Germany), the University of Luxembourg (Luxembourg), Aalborg University (Denmark), Consult Hyperion (UK), BizzDesign (Netherlands), Deloitte (Netherlands), and Lust (Netherlands). For detailed partner profiles see here. Project website

FMT members involved: Marielle Stoelinga (coordinator of WP3) and Florian Arnold (PhD student)

October 18, 2012

LTSmin wins RERS challenge

Jaco van de Pol won the first prize in the RERS challenge at the ISOLA conference at Crete. The assignment was to check 100 properties on 15 C-programs with a PLC-like flat control structure including integer arithmetic. The programs were up to 6 MB large, with state spaces over 1 billion states.

The winning strategy was to transform the programs to Promela and check the properties with the multi-core LTL engine developed by Alfons Laarman, on a cluster of machines including a 48-core machine with 148 GB internal shared memory.

This was a free-style challenge. Our high-performance exhaustive analysis with LTSmin had to compete with approaches using BDDs, static analysis, constraints and symbolic execution.

October 12, 2012

Mari&euml;lle Stoelinga gives a guest lecture at Museum Twentse Welle

MuseumJeugdUniversiteit is an initiative by leading Dutch Museums to get primary school pupils interested in science. 

Mariëlle Stoelinga will give a guest lecture about making and breaking secret codes in Museum Twentse Welle. 

See in het museum/MuseumJeugdUniversiteit


October 12, 2012

Jeroen Meijer presents his internship results at Dutch Testing Day

During his internship, MTV Student Jeroen Meijer has applied innovative model-based testing techniques at PANalytical, a high tech company producing Xray detectors. He will present his techniques at the 18th Dutch Testing Day, held at November 27th in Utrecht.


October 1, 2012

Arend Rensink and Eduardo Zambon win the best paper award at ICGT'12

The paper titled Pattern-based Graph Abstraction received the best paper award for the Foundations Track of the Sixth International Conference on Graph Transformation (ICGT) held in Bremen, Germany during the last week of September 2012.

September 19, 2012

Danny Bergsma presents poster about Bachelor Referaat paper at Student Research Conference

Danny Bergsma will present a poster about the paper Static Verification of Security Policies at the Student Research Conference, organised by the VSNU on November 21, 2012.

The paper describes the work he did in the context of his bachelor referaat. It describes improved algorithms to propagate pre- and postconditions that encode a security policy.

June 21, 2012

Marieke Huisman role model in EU campaign 'Science it's a girl thing'

On June 21, 2012, the EU launched a new campaign 'Science it's a girl' to encourage girls to choose technical science-related studies, and to envisage a research career. As part of the campaign, profiles of several succesful women in science have been produced. Marieke Huisman is one of these role models. Her profile can be seen on

May 10, 2012

Dino Distefano wins prestigious computer science award

Dino Distefano, who received his PhD at FMT, is the recipient of the Roger Needham Award from BCS, the Chartered Institute for IT.

"Distefano’s pioneering work, which detects possible weaknesses in code, is hugely beneficial to writers who want to ensure their code is more secure from hacker’s attempts to crack it."

See news items at Queen Mary University (where Dino is a lecturer) and at BCS.

May 4, 2012

STW / ProRail funds FMT research on Smart Railroad Maintenance

STW / ProRail have granted the research proposal by Marielle Stoelinga on Smart Railroad Maintenance.

Key idea is to boost the modeling and analytical techniques for fault trees. Fault trees are a dominant model for risk management of infrastructures and other assets, but cannot yet cope with a pressing aspect, namely maintenance. 

In previous projects, we have fruitfully deployed model checking techniques for fault tree analysis, and we expect similar advantages in the domain of maintenance.

February 3, 2012

Marijn Jongerden received MMB 2012 Dissertation Award

The German GI-Group MMB (Messung, Modellierung und Bewertung) has granted the Dissertation Award 2012 to Marijn Jongerden for his dissertation on Model-based analysis of battery powered systems.  Marijn was supervised by Boudewijn Haverkort (DACS) and Joost-Pieter Katoen (FMT).  

<< 1 2 3 4 5 6 7 8 9 >>