ssciancalepore/parfait-proverif ssciancalepore/parfait-proverif

  • Stars
    star
    2
  • Language
  • License
    GNU General Publi...
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ssciancalepore/parfait-proverif
github

ssciancalepore

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal verification of some of the security properties of the PARFAIT scheme via Proverif

More Repositories

1

SOS_Securing_Open_Skies

SOS - Securing Open Skies - Proof of Concept
Python
1
star
2

BitTransfer

Repository dedicated to the release of the source code of the BitTransfer Protocol, enabling pairwise wireless communications between involved devices under reactive jamming attacks.
C
1
star