zhangxin00 / mastik Goto Github PK
View Code? Open in Web Editor NEWThis project forked from secure-ai-systems-group/mastik
GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/
License: GNU General Public License v3.0