SILVER – Statistical Independence and Leakage Verification
David Knichel, Pascal Sasdrich, Amir Moradi
Topics & Concepts
Computer scienceNetlistMathematical proofMasking (illustration)Binary decision diagramCryptographyImplementationTheoretical computer scienceDomain (mathematical analysis)Independence (probability theory)Computer engineeringSoftware engineeringComputer securityEmbedded systemVisual artsMathematical analysisGeometryMathematicsStatisticsArtCryptographic Implementations and SecurityPhysical Unclonable Functions (PUFs) and Hardware SecuritySecurity and Verification in Computing