Repositories list

• tdxdown

  Public
  Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"

  GNU General Public License v3.0

  •0•9•0•0•Updated Oct 14, 2024Oct 14, 2024

• encopia.github.io

  Public
  Encopia Web Home

  TeX

  •1•1•0•0•Updated Jul 8, 2024Jul 8, 2024

• monitors4codegen

  Public
  This is a fork of the code from "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

  Python

  •

  MIT License

  •25•0•0•0•Updated Jun 10, 2024Jun 10, 2024

• obelix

  Public
  Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.

  Other

  •12k•9•0•0•Updated May 22, 2024May 22, 2024

• blacksmith

  Public
  Next-gen Rowhammer fuzzer that uses non-uniform, frequency-based patterns.

  C++

  •

  MIT License

  •34•1•0•0•Updated Apr 10, 2024Apr 10, 2024

• no-drama

  Public
  Rust

  •0•0•0•0•Updated Apr 10, 2024Apr 10, 2024

• rsa-key-recovery

  Public
  C++

  •1•1•0•0•Updated Feb 12, 2024Feb 12, 2024

• teejam

  Public
  C

  •0•1•0•0•Updated Feb 7, 2024Feb 7, 2024

• cipherfix

  Public
  Source code of the Cipherfix framework for fixing ciphertext side-channels.

  C++

  •

  Other

  •1•5•2•0•Updated Aug 23, 2023Aug 23, 2023

• pethmr.github.io

  Public
  Homepage of the PeT-HMR project

  SCSS

  •

  Other

  •3•0•0•1•Updated Aug 15, 2023Aug 15, 2023

• asa-on-protocols

  Public
  Python

  •0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

• act-natural

  Public
  Proof-of-concept code for the EuroS&P '23 paper "Act natural!"

  Python

  •

  MIT License

  •0•1•0•0•Updated Jun 1, 2023Jun 1, 2023

• MAMBO-V

  Public
  MAMBO-V: Dynamic Side-Channel Leakage Analysis on RISC-V

  instrumentationconstant-timedbi+ 3binary-analysisrisc-vriscv64

  C

  •

  Apache License 2.0

  •2•8•1•0•Updated May 30, 2023May 30, 2023

• sev-step

  Public archive
  Go

  •0•5•0•0•Updated Mar 22, 2023Mar 22, 2023

• dash

  Public
  Accelerating Distributed Private Machine Learning Inference with Arithmetic Garbled Circuits

  0•0•0•0•Updated Feb 6, 2023Feb 6, 2023

• sev-ciphertext-side-channels

  Public
  Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"

  Go

  •0•11•0•0•Updated May 17, 2022May 17, 2022

• util-lookup

  Public
  C

  •0•1•0•0•Updated Nov 17, 2021Nov 17, 2021

• undeserved-trust

  Public
  Main repository for the undeSErVed trust paper

  Pascal

  •

  Other

  •0•6•2•0•Updated Oct 18, 2021Oct 18, 2021

• undeserved-trust-ovmf

  Public
  OVMF version used in the undeserved trust paper

  C

  •

  Other

  •0•0•0•0•Updated Oct 18, 2021Oct 18, 2021

• signal-attack

  Public
  C#

  •1•0•0•0•Updated Jul 7, 2021Jul 7, 2021

• undeserved-trust-kernel

  Public
  Modified Linux kernel used in the undeSErved trust paper

  C

  •

  Other

  •0•0•0•0•Updated Apr 6, 2021Apr 6, 2021

• undeserved-trust-qemu

  Public
  Fork of qemu with modifications required for the undeSErved trust paper

  C

  •

  Other

  •0•0•0•0•Updated Apr 6, 2021Apr 6, 2021

• white-box-masking

  Public
  A White-Box Masking Scheme Against Computational and Algebraic Attacks

  Python

  •0•11•0•0•Updated Jan 6, 2021Jan 6, 2021

• SEVurity

  Public
  Other

  •1•10•0•0•Updated Dec 1, 2020Dec 1, 2020

• itskernel

  Public
  A lightweight research kernel for performing experiments in a noise-free environment.

  C

  •

  Other

  •0•1•0•0•Updated Aug 20, 2019Aug 20, 2019

• Spoiler

  Public
  Code examples and paper for the Spoiler-Attack

  JavaScript

  •3•16•0•0•Updated May 28, 2019May 28, 2019