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

S

smackmychi2019-03-23 07:00:22

The Google verification code came from zakazonline. What is it? 1Reply

V

Veritas232019-03-26 10:43:35

Is a link like "t-do.ru/joinchat/*******" safe? 1Reply

N

nkizza2014-11-05 04:40:35

How to store encryption keys for user data with processing on the server? 1Reply

B

bad_coder2014-11-06 17:20:28

What are the interesting tasks for neural networks in information security? 3Reply

I

Ilya bow2016-11-05 22:59:13

Is there a program for direct (by ip) encrypted messaging? 2Reply

Didn't find what you were looking for?

Ask your question