Raphaël Vinot

Silence means "not started" or "done". I can think about implementing a loop to wait until two keys are connected, but if the attacker can compromise the bios when booting,...

The protection against USB killer is easy: buying a new rpi :) It will be cheaper than doing any hardware change. I'm not sure what you mean by "moving the...

We have problems with some keys (they're not mounted properly, and the device shuts down immediately), the reason is unknown right now, but we're investigating.

Soo, I'm not sure if it is related to your issue, but I managed to reproduced an issue where the rPi was booting, and nothing was happening, it is fixed...

Woops, typo... This url work: https://www.circl.lu/assets/CIRCLean/2018-07-23-CIRCLean.img.gz

okay, I'm very confused on what happened, the initial link works right now: https://www.circl.lu/assets/CIRCLean/2018-07-23_CIRCLean.img.gz

We can, but how do you validate them? Is there a parser to figure out sane/dangerous files?

So your use case is to *only* allow .QBB/.QBX file extensions, and discard everything else?

Makes sense. Do you have a sample file I could try to make sure it works properly?

There is a PDF format called PDF/a [1] that is more sane than the normal one and removes all the active contents. My plan it to use it at some...