authentication

“ProVerif” is a powerful utility designed to examine “reachability properties,” “correspondence assertions,” and “observational equivalences.” Our protocol modelling addresses both the elemental security requirements, like “impersonation” or “replay” attack, and the most advanced ones, like “perfect forward secrecy” or “password guessing attack.”

Because we had a limited space in our published paper, the program source codes are provided here. The codes can be tested online at "http://proverif16.paris.inria.fr/".

Categories:
141 Views

This is a dataset is an example of a distribution of 20 correlated Bernoulli random variables.

Categories:
355 Views

Today, more and more Internet of Things devices are deployed, and the field of applications for decentralized, self-organizing networks keeps growing. The growth also makes these systems more attractive to attackers. Sybil attacks are a common issue, especially in decentralized networks and networks deployed in scenarios with irregular or unreliable Internet connectivity.

Categories:
342 Views

This data set is the capture of the Radio Frequency emissions from 9 IoT devices using an USRP Software Defined Radio. The data set is in MATLAB format and it stores the IQ samples of the signals in space. The data set can be used for experimental and analysis on Radio Frequency identification and authentication.

Categories:
807 Views