We are proud to announce that we have been awarded a National Research Network grant from FWF. RiSE is the only network grant in Computer Science in Austria. Its goal is to bring the state of the art in formal methods from after-the-fact verification to formal methods to help designers write correct code from the get-go. The grant is coordinated by IAIK’s Roderick Bloem and is a collaboration of Armin Biere (Linz), Krishnendu Chatterjee (IST Austria), Uwe Egly (TU Wien), Thomas A. Henzinger (IST Austria), Christoph Kirsch (Salzburg), Helmut Veith (TU Wien), and Ulrich Schmid (TU Wien).

A new hash function designed by a team of cryptographers from IAIK and DTU (Denmark) in 2008 is selected among 50+ proposals by academic and industrial research groups worldwide by NIST (www.nist.gov) to be a finalist in a competition for a future standard. See www.groestl.info.

We are very happy to announce that Roderick Bloem is joining IAIK as a professor. With Reinhard Posch and Vincent Rijmen, Roderick will be the third professor at IAIK. Roderick’s research interests are in formal methods, particularly in reactive synthesis and fault repair. Roderick holds an MSc degree from Leiden University and a PhD from the University of Colorado at Boulder

Stefan Mangard, Thomas Popp and Elisabeth Oswald publish the first textbook on power analysis attacks.

Vincent Rijmen, co-designer of Rijndael, the Advanced Encryption Standard, joins IAIK as professor. Vincent lead the IAIK crypto activities until 2012. The professorship was donated by Stiftung SIC.