We investigated how changes to hardware designs are evaluated and found that systems security papers often omit crucial details, possibly leading to unfair comparisons with related work. For more details with a case study and recommendations, check out our paper at ACM REP!

mici.hu/papers/demeu...

Check out openIPE (EuroS&P '25), a platform for security research featuring a memory isolation primitive based on Texas Instruments microcontrollers, an extensible trusted software layer, and tooling for security validation.

mici.hu/papers/bognar25openipe.pdf
github.com/martonbognar/openipe

Take a cycle to read our new SysTEX paper! We show that timing leaks can be introduced at all levels of the hardware-software stack in embedded systems (hardware state machines, comparisons of native C integers, and library functions).

mici.hu/papers/vandi...
github.com/dnet-tee/wai...