Provable security for physical cryptography

FREE-DOWNLOAD K Pietrzak – the proceedings of WEWORC, 2009 –
Abstract. The modern approach to cryptography is provable security, where one defines a meaningful
formal security model and proves that schemes are secure in this model. An exception is the
design of countermeasures against cryptographic side- channel attacks, which even