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