fy222fy's repositories
Formal-methods
A repository of some summary about formal methods
Dengluyi
Dengluyi verification
GPL-3.0000
EasyLogin
DENGLUYI'S VERIFICTION
Apache-2.0000
FATE
An Industrial Grade Federated Learning Framework
Language:PythonApache-2.0000
FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
000
myDBS
my database system
Language:C++000
myTetris
a free fall tetris games
000
secretflow
A unified framework for privacy-preserving data analysis and machine learning
Language:PythonApache-2.0000