tamarin-prover

There are 2 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

  pkipki-serviceblockchain-technologyblockchainfault-toleranceconsensusconsensus-algorithmmerkle-treemerkle-rootmerkle-proofbyzantine-fault-toleranceproof-of-worktrustcertificatestruststorecertificate-signing-requestcertificate-authoritytamarin-provercryptographycrypto
  Language:Python 9

• OSUSecLab / SGX-Enclave-Formal-Verification

  Tamarin models for state continuity of SGX enclave programs

  tamarin-proverformal-modelsintel-sgx
  Language:Python 6

• lordqwerty / tamarin-models

  Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"

  phd-thesistamarin-proveruniversity-of-surrey
  Language:Python 4

• OSUSecLab / bluetooth-pairing-formal-verification

  Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)

  bluetooth-low-energytamarin-prover
  Language:Python 4

• eikendev / tamarin-prover-docker

  A Docker image for the Tamarin prover

  dockerdocker-imagedockerfilepodmantamarin-prover
  Language:Dockerfile 3

• tamgram / tamgram

  High-level frontend language to Tamarin prover

  tamarin-prover
  Language:OCaml 3

• TendTo / Computer-Security

  Esperimenti e progetti realizzati durante il corso di Computer Security 2021/2021

  computer-securitycryptographyproverifsecuritytamarin-prover
  Language:TeX 3

• linwe2012 / tamarin

  An vscode extension for highlighting tamarin-prover.

  tamarintamarin-prover
  2

• eikendev / ethz-formal-methods

  Tamarin proofs for the OTR and PAKE security protocols

  ethztamarin-proverotrpake
  Language:Makefile 1

• estadtlaender / IPsecTamarin

  A (work-in-progress) implementation of IPsec in Tamarin-Prover for automated security analysis

  tamarin-proveripsecsecurity-protocolcryptography
  Language:M4 1

• 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.

  securitymodel-checkertamarin-prover
  1

• sbaloglu / tamarin-codes

  Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.

  e-votingsecuritytamarin-proverautomated-proofformal-verificationverifiability
  1

• soap-wg / soap-proofs

  This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.

  formal-verificationprotocol-verificationtamarin-prover
  Language:Python 1

• aeyno / tree-sitter-tamarin

  Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files

  grammarhelix-editorneovimsyntax-highlightingtamarin-provertree-sitter
  Language:C 0

• dchandak99 / INRIA_Internship

  Formal Verification of Security Protocols

  cryptographyformal-verificationsecurity-protocolstamarin-prover
  Language:TeX 0

• fmurer / siagss

  A Secure, Isolated and Air-Gapped Signing System - Master Thesis in the Network Security Group of ETH Zurich

  nodejssigning-serverisolatedqr-codesciontamarin-prover
  Language:Java 0

• IvanSobko / protocol-verification

  formal-verificationtamarin-prover
  Language:Python 0

• online-payment-tamarin / online-payment-security

  Modeling the Security of Online Payment Protocols

  online-paymentsonline-payment-systemsecuritytamarin-prover
  0

• darrenldl / tamarin-prover-container

  Dockerfile for Tamarin prover

  tamarin-prover
  Language:Dockerfile

• katrielalex / confluin

  confluin does confluence checks for Tamarin input files

  confluenceterm-rewritingtamarin-provermaudemuterm
  Language:Python