Alternatives and similar repositories for 5G-AKA-Tamarin-Model

Users that are interested in 5G-AKA-Tamarin-Model are comparing it to the libraries listed below

• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆20Updated last year
• Chair-for-Security-Engineering / SILVER
  SILVER - Statistical Independence and Leakage Verification
  ☆14Updated 3 weeks ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆69Updated 10 months ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆39Updated last year
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated last year
• vmarribas / VerMFi
  VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …
  ☆18Updated 5 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• Secure-Embedded-Systems / Masked-AES-Implementation
  ☆23Updated 5 years ago
• ChairImpSec / PROLEAD
  PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software
  ☆40Updated last week
• tamarin-prover / manual
  [Obsolete] Tamarin prover manual: source files
  ☆24Updated this week
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 5 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆22Updated last year
• AISyLab / side-channel-analysis-toolbox
  This is a project in which side-channel attacks are researched and developed.
  ☆46Updated 5 years ago
• Sanghyun-Hong / DeepRecon
  [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks
  ☆20Updated 5 years ago
• isec-tugraz / coco-alma
  CocoAlma is an execution-aware tool for formal verification of masked implementations
  ☆22Updated 9 months ago
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆70Updated last year
• felixlinker / tamarin-workshop
  A 2-4h workshop on the Tamarin protocol verifier.
  ☆19Updated 2 weeks ago
• PP-FM / ppsat
  code for privacy-preserving sat solver
  ☆17Updated last year
• GaPhil / dpa
  Side Channel Attack: Differential Power Analysis (DPA) on AES encryption algorithm to deduce secret keys
  ☆12Updated 7 years ago
• SyNSec-den / DIKEUE
  This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…
  ☆23Updated 2 years ago
• heartever / primeprobe
  prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave
  ☆15Updated 6 years ago
• deep-inder / tvla
  Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128
  ☆11Updated 3 years ago
• temelmertcan / multgen
  Integer Multiplier Generator for Verilog
  ☆23Updated last year
• cryptolu / aes-cpa
  CPA (Correlation Power Analysis) attacks against the AES (Advanced Encryption Standard)
  ☆23Updated 7 years ago
• agohr / deep_speck
  Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
  ☆76Updated 5 years ago
• backahasten / Simple-deep-learning-SCA
  Simple deep learning side channel attack. Experimental data set based on chipwhisperer.
  ☆29Updated 3 years ago
• brisfors / DLSCA
  A free and open source tool for Deep Learning Side Channel Analysis
  ☆16Updated 5 years ago
• masked-kyber-m4 / mkm4
  This is the repository for the first-order masked Kyber on ARM Cortex-M4
  ☆12Updated last year
• Secure-AI-Systems-Group / Mastik
  GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/
  ☆39Updated 5 years ago
• zilongwang123 / LeaVe
  A tool for checking the contract satisfaction for hardware designs
  ☆11Updated 7 months ago