2012 · 224 citations · 20 references
EngineeringInformation SecurityVerificationSlender Puf ProtocolFormal VerificationHardware SecurityHardware Security SolutionSecure ProtocolAuthentication ProtocolSecure MethodLightweight Authentication MechanismIdentity-based SecurityComputer EngineeringData PrivacySecure AuthenticationLightweight CryptographyComputer ScienceFull Puf ResponsesData SecurityCryptographyFormal MethodsPhysical Unclonable Function
We introduce Slender PUF protocol, an efficient and secure method to authenticate the responses generated from a Strong Physical Unclonable Function (PUF). The new method is lightweight, and suitable for energy constrained platforms such as ultra-low power embedded systems for use in identification and authentication applications. The proposed protocol does not follow the classic paradigm of exposing the full PUF responses (or a transformation of the full string of responses) on the communication channel. Instead, random subsets of the responses are revealed and sent for authentication. The response patterns are used for authenticating the prover device with a very high probability. We perform a thorough analysis of the method's resiliency to various attacks which guides adjustment of our protocol parameters for an efficient and secure implementation. We demonstrate that Slender PUF protocol, if carefully designed, will be resilient against all known machine learning attacks. In addition, it has the great advantage of an inbuilt PUF error tolerance. Thus, Slender PUF protocol is lightweight and does not require costly additional error correction, fuzzy extractors, and hash modules suggested in most previously known PUF-based robust authentication techniques. The low overhead and practicality of the protocol are confirmed by a set of hardware implementation and evaluations.
20
Ravikanth Pappu, Ben Recht, Jason Taylor et al. · Science · 2002 · 1.9K citations
Cryptographic Primitive, Engineering, Reachability Problem +17
Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
Yevgeniy Dodis, Rafail Ostrovsky, Leonid Reyzin et al. · SIAM Journal on Computing · 2008 · 1.7K citations · Full text
Silicon physical random functions
Blaise Gassend, Dwaine Clarke, Marten van Dijk et al. · 2002 · 1.6K citations