Is there an analogue of ProVerif that supports emulated protocols BB84, SARG04 and the like?

N

NIKA_R2021-07-09 02:53:06

Information Security

NIKA_R, 2021-07-09 02:53:06

Recommend an analogue of ProVerif that supports emulated protocols BB84, SARG04 and the like. I understand that I want too much, but preferably under arch Linux and with a free license.

Reply

Answer the question

In order to leave comments, you need to log in

0 answer(s)

Similar questions

9

9uvwyuwo6pqt2016-03-04 02:53:24

What information is stored in .mht files? 2Reply

D

Dysnystaxis2016-03-05 08:22:50

What to do for security in linux on a home machine? 10Reply

I

Ilya bow2020-07-17 17:46:00

Is there a browser in which you can not see the saved password? Or how to make sure that the password could not be stolen? 7Reply

K

Konstantin2013-12-07 00:38:18

What will happen if 2 bitcoin clients are launched at once with the same wallet on a virtual machine and just in Windows? 1Reply

M

midia212021-10-22 14:55:47

How to allow calling api controller to only one server by ip (which sends a webhook)? 1Reply

Didn't find what you were looking for?

Ask your question