Stars
Secure and Practical State Continuity for Trusted Execution on Cloud
Tools and service for differentially private processing of tabular and relational data
🐬 A comprehensive tutorial on getting started with Docker!
Perform data science on data that remains in someone else's server
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
An adversarial example library for constructing attacks, building defenses, and benchmarking both
TensorFlow 2.x version's Tutorials and Examples, including CNN, RNN, GAN, Auto-Encoders, FasterRCNN, GPT, BERT examples, etc. TF 2.0版入门实例代码,实战教程。
镜像:https://scaffrey.coding.net/p/hosts/git / https://git.qvq.network/googlehosts/hosts