Witness Maps and Applications
Suvradip Chakraborty, Manoj Prabhakaran, Daniel Wichs
Topics & Concepts
Computer scienceCryptographic primitiveGas meter proverCryptographyLossy compressionTheoretical computer scienceWitnessMathematical proofObfuscationEncryptionConstruct (python library)Discrete mathematicsCryptographic protocolAlgorithmMathematicsProgramming languageComputer securityArtificial intelligenceGeometryCryptography and Data SecurityCryptographic Implementations and SecuritySecurity and Verification in Computing