tamarin-prover
There are 23 repositories under tamarin-prover topic.
volkankaya/ConsensusPKI
Data driven Public Key Ecosystem Backed by Blockchain & Fault Tolerance. Keywords: Trustless PKI, Blockchain, Consensus, Merkle tree, Merkle proof, Practical Byzantine Fault Tolerance (PBFT), Proof of Work (PoW), X.509 alternative
OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
lordqwerty/tamarin-models
Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
OSUSecLab/bluetooth-pairing-formal-verification
Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)
eikendev/tamarin-prover-docker
A Docker image for the Tamarin prover
tamgram/tamgram
High-level frontend language to Tamarin prover
TendTo/Computer-Security
Esperimenti e progetti realizzati durante il corso di Computer Security 2021/2021
dambrosidenis/NeedhamSchoreder_Automated_Analysis
Theoretical and practical introduction to the Tamarin Prover through a real-world case study on the Needham Schroeder protocol
linwe2012/tamarin
An vscode extension for highlighting tamarin-prover.
sbaloglu/tamarin-codes
Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.
dambrosidenis/Formalizing_Social_Engineering_Attacks
Beginner-friendly seminar about the work of Basin D. et Al. on formalizing social engineering attacks in the symbolic model
dchandak99/INRIA_Internship
Formal Verification of Security Protocols
eikendev/ethz-formal-methods
Tamarin proofs for the OTR and PAKE security protocols
estadtlaender/IPsecTamarin
A (work-in-progress) implementation of IPsec in Tamarin-Prover for automated security analysis
RohanKrishnamurthy/L-DACS
The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.
soap-wg/soap-proofs
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
aeyno/tree-sitter-tamarin
Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files
dambrosidenis/Formal-Verification-of-the-Session-Protocol
This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.
fmurer/siagss
A Secure, Isolated and Air-Gapped Signing System - Master Thesis in the Network Security Group of ETH Zurich
online-payment-tamarin/online-payment-security
Modeling the Security of Online Payment Protocols
darrenldl/tamarin-prover-container
Dockerfile for Tamarin prover
katrielalex/confluin
confluin does confluence checks for Tamarin input files