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

N

N

NIKA_R2021-07-09 02:53:06

Information Security

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

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

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

Answer the question

In order to leave comments, you need to log in

0 answer(s)

Similar questions

O

other_letter2015-11-09 12:38:57

How to check iPhone for software bookmarks? 2Reply

G

Genome_X2012-02-11 16:25:56

How much does it cost to wait for a response when reporting a vulnerability on a website? 7Reply

V

Vasiliy Adminko2015-11-13 00:07:27

Is it safe to open a mysql port to the world? 5Reply

V

Vyacheslav2015-11-16 09:05:28

How to secure a project from spies? 4Reply

S

Sergey2015-11-16 15:56:24

What useful books in the following areas do you know? 4Reply

Didn't find what you were looking for?

Ask your question

Ask a Question

731 491 924 answers to any question