Zhicong Huang (Zico)'s starred repositories
tf-encrypted
A Framework for Encrypted Machine Learning in TensorFlow
Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler