Modeling Attack Security of Physical Unclonable Functions based on Arbiter PUFs