An open API service providing repository metadata for many open source software ecosystems.

gitlab.inria.fr / popstar 1 Repository

popstar/SAT-Equiv

SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.

Last synced at: 9 months ago - Stars: 0 - Forks: 0