b3603446e92b3191b76ed894c4e445a3 FalHac2012_Preprint.pdf