nixpkgs / cryptoverif - Cryptographic protocol verifier in the computational model

Homepage - https://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/

License - CECILL-B

Maintainers - Austin Seipp

Releases

2.04 (expand/collapse)
From commit 05ca995e to 00460bd6
2.03pl1 (expand/collapse)
From commit 06c0f165 to 06c0f165
2.04 (expand/collapse)
From commit 06a4f7df to 075da392
2.03pl1 (expand/collapse)
From commit 0769fe27 to 022d7207
2.04 (expand/collapse)
From commit 06749ba3 to 0597dcb0
2.01pl1 (expand/collapse)
From commit 05fe6112 to 05fe6112
2.04 (expand/collapse)
From commit 0446b8af to 0096eb92
2.03pl1 (expand/collapse)
From commit 03e8a2f0 to 03e8a2f0
2.04 (expand/collapse)
From commit 03563995 to 06279ee8
2.03pl1 (expand/collapse)
From commit 06f2fd5f to 061ef26c
2.01pl1 (expand/collapse)
From commit 07e49512 to 00afc855
2.03pl1 (expand/collapse)
From commit 0722158d to 02885ae8
2.01pl1 (expand/collapse)
From commit 04b7c0af to 04b7c0af
2.03pl1 (expand/collapse)
From commit 05d4955a to 03df9f54
2.01pl1 (expand/collapse)
From commit 00251c06 to 00251c06
2.03pl1 (expand/collapse)
From commit 045c2abd to 06d328c3
2.01pl1 (expand/collapse)
From commit 05fa0f1a to 05fa0f1a
2.03pl1 (expand/collapse)
From commit 00213ef1 to 00213ef1
2.01pl1 (expand/collapse)
From commit 050aad18 to 050aad18
2.03pl1 (expand/collapse)
From commit 05659a44 to 038497d3
2.01pl1 (expand/collapse)
From commit 069e485c to 069e485c
2.03pl1 (expand/collapse)
From commit 07e63834 to 019fa5f6
2.01pl1 (expand/collapse)
From commit 0672de5b to 0594e27d
2.03pl1 (expand/collapse)
From commit 07d22cf0 to 0075ec3f
2.01pl1 (expand/collapse)
From commit 063f1d73 to 0332c423
2.03pl1 (expand/collapse)
From commit 0367125b to 0367125b
2.01pl1 (expand/collapse)
From commit 0218f30a to 0331c39d
2.00 (expand/collapse)
From commit 0767de3d to 0767de3d
2.01pl1 (expand/collapse)
From commit 0281599a to 00610756
2.01 (expand/collapse)
From commit 071a4db3 to 071a4db3
2.01pl1 (expand/collapse)
From commit 046390bf to 0732203c
2.01 (expand/collapse)
From commit 02d79ced to 02d79ced
2.01pl1 (expand/collapse)
From commit 03d3ed3e to 03d3ed3e
2.01 (expand/collapse)
From commit 003b42f3 to 07bbae0b
2.00 (expand/collapse)
From commit 057016a2 to 057016a2
2.01 (expand/collapse)
From commit 02e6a5fd to 0512f90e
2.00 (expand/collapse)
From commit 04c9866b to 04c9866b
2.01 (expand/collapse)
From commit 03d6c406 to 03d6c406
2.00 (expand/collapse)
From commit 0412ee2a to 0412ee2a
2.01 (expand/collapse)
From commit 0636bebb to 05c1addd
2.00 (expand/collapse)
From commit 00932b9d to 00932b9d
2.01 (expand/collapse)
From commit 01d06dc3 to 01c37106
2.00 (expand/collapse)
From commit 071167e6 to 071167e6
2.01 (expand/collapse)
From commit 03f48ebe to 03f48ebe
2.00 (expand/collapse)
From commit 03a32ec6 to 024a383d
2.01 (expand/collapse)
From commit 04d748b7 to 04d748b7
2.00 (expand/collapse)
From commit 0607adde to 027ccb83
1.28 (expand/collapse)
From commit 02a3726a to 02a3726a
2.00 (expand/collapse)
From commit 075e4883 to 0111c7d8
1.22 (expand/collapse)
From commit 044ceae2 to 044ceae2
2.00 (expand/collapse)
From commit 00ab5c5b to 0560caa5
1.28 (expand/collapse)
From commit 016922f8 to 016922f8
2.00 (expand/collapse)
From commit 02f70536 to 06b42906
1.28 (expand/collapse)
From commit 05bc5fed to 05bc5fed
2.00 (expand/collapse)
From commit 02fb8fb7 to 027d52ff
1.28 (expand/collapse)
From commit 0415710a to 0415710a
2.00 (expand/collapse)
From commit 01040d9c to 0287773a
1.28 (expand/collapse)
From commit 025e1a3b to 0275562a
1.22 (expand/collapse)
From commit 06307716 to 00ad7c0c