alianoroozi/PRISM-Leak

A tool for evaluating secure information flow of concurrent probabilistic programs

Language: Java - Size: 14.4 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0