Georg Hofferek
Curriculum vitae
Georg Hofferek was born on October 26th 1982 in Leoben (Styria, Austria). He grew up with his family in Trofaiach, where he also attended primary school. From 1993 to 2001 he went to the "Neues Gymnasium" secondary school in Leoben. During this time he competed several times in the Austrian and International Young Physicists' Tournament. After graduating from high school in June 2001, he did the compulsory 8 months basic military service at the "Fernmeldebataillon 1" in Villach. In October 2002 he enrolled as a student of Computer Science and Electrical Engineering ("Telematik") at Graz University of Technology. He received his Bachelor's degree in 2006, and his Master's degree (German: Dipl.-Ing.) in 2008, both with distinction. In February 2008 he moved from Trofaiach to Graz, and joined IAIK as a PhD student of Prof. Roderick Bloem. Thus he now is a member of IAIK's SCoS group, specializing in Formal Methods for Design and Verification.
Personal Data
| Date and Place of Birth |
October 26tth 1982, Leoben (Austria) |
| Citizenship |
Austrian |
| Home Address |
Waltendorfer Gürtel 13a, 8010 Graz, Austria |
| Private Email |
georg@hofferek.at |
| Private Mobil Phone |
+43 699 12053015 |
| Private Website |
http://georg.hofferek.at |
| Languages |
German (native), English (fluent), Italian (basic) |
Education
Publications
| Proceedings |
|---|
| 2009 |
Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging Formal Specifications Using Simple Counterstrategies" - Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009 |
 |
 |
 |
| 2008 |
Ronald Tögl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael C-W. Phan, Roderick Paul Bloem - "Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme" - International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings |
|
 |
|
| 2008 |
Georg Hofferek, Johannes Wolkerstorfer - "Coupon Recalculation for the GPS Authentication Scheme" - Smart Card Research and Advanced Applications-CARDIS 2008 |
|
|
|
| Master thesis |
|---|
| 2008 |
Georg Hofferek - "Exploring the Design Space of the GPS Authentication Scheme" |
|
|
 |
| Presentation |
|---|
| 2009 |
Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging Unrealizable Specifications Using Simple Counterstrategies" (Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, 28.06.09) |
|
|
|
| 2008 |
Georg Hofferek - "Coupon Recalculation for the GPS Authentication Scheme" (Smart Card Research and Advanced Applications - CARDIS 2008, 08.09.08) |
|
|
|
| 2008 |
Georg Hofferek - "Exploring the Design Space of the GPS Authentication Scheme" (BRIDGE Project Meeting, 04.02.08) |
|
|
|
E-Mail 
+43 (316) 873 - 5554
Room IF02048
TUG-Online 
PGP Key 
vCard