fy222fy's repositories
Formal-methods
A repository of some summary about formal methods
FATE
An Industrial Grade Federated Learning Framework
Language:PythonApache-2.0000
FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
000
secretflow
A unified framework for privacy-preserving data analysis and machine learning
Language:PythonApache-2.0000