ROT256.

The dual lattice is: L∗={x∈Rn∣∀v∈L.

Introduction In this post we just want to cover a fun bug we found: fun because the math itself is interesting, and fun because it breaks just the right way.

Introduction This series of posts aims to be a comprehensive collection of facts, protocols, and theorems related to the information-theoretic foundations of multilinear proof systems.

Happy new year!

Introduction The Border Gateway Protocol (BGP) is the central protocol of the internet, responsible for configuring routing tables of autonomous systems (ASes) across the globe.

This a short post explaining the multivariate sum-check: a fundamental subprotocol used throughout multivariate succinct arguments (e.g.

Introduction In this post we will take a look at the Fast Reed-Solomon IOP (FRI) proximity test, which enables an untrusted prover to convince a verifier that a committed vector is close to a Reed-Solomon codeword with communication only poly-logarithmic…

Or, how to use Signed HTTP Exchanges (SXG) for good by building a trustworthy software distribution method for the web.

In applications where membership of the Merkle tree must be proved inside a SNARK, the concrete cost of expressing the compression function in the proof system (in terms of gates/R1CS constraints etc.) affects performance of the prover massively.

This is the companion post to a tool, git-ring, that I recently released on Github.

The “H1” Challenge We are given two files.

What Is Pass?

A walk-through of real-world AES fault injection for dummies on a shoestring budget.

HalfFeed The HalfFeed service allows us to encrypt almost any message.

The “3DES-HMAC” Challenge This challenge is written in Rust.

Introduction Update: Slides from the related presentation at DTU, can now be found here.

The 34C3 CTF 34C3 has just ended and the year is quickly coming to an end.

Introduction Google Summer of Code Every year Google arranges their Summer of Code program, giving students the opportunity of contributing to open source projects during the summer and receive a stipend.

Introduction Pwnies at Copenhagen University arranged this years CTF at Bornhack.

The Bluesound POWERNODE is a “Wireless Stereo Component”, which allows the user to stream to an older analogue sound system.

Writeup of a challenge completed some time ago.

NeoDNS : A New DNS Like the One We Know The Goal We wish to design a new DNS solution which offers the following: Ease of migration: the solution must be able to coexists with the existing DNS and PKI.

The Challenge The challenge text on pwntable: I made a multi-thread based HTTP proxy server written in C.

The Challenge The challenge text on pwntable: How fast can you pwn me?