security-protocols

There are 0 repository under security-protocols topic.

dchandak99 / INRIA_Internship
Formal Verification of Security Protocols
security-protocols formal-verification tamarin-prover cryptography
Language:TeX 1
DevelopedByAnurag / Jarvis
Jarvis is an attempt to create a Open source virtual assistant that can talk and resolve queries in a more humanly manner
artificial-intelligence chatbot chatbots deep-learning gesture-commands hactoberfest hactoberfest2019 jarvis python3 security-protocols smart-assistant vision
logicalhacking / Automated_Stateful_Protocol_Verification
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
isabelle-hol protocol-verification security-protocols verification
Language:Isabelle
logicalhacking / Stateful_Protocol_Composition_and_Typing
isabelle-hol protocol-verification verification security-protocols
Language:Isabelle