Tags

security

5 posts

A short intro to retpolines

In this post, I'll explore how speculative execution can be maliciously exploited through a technique known as *branch target injection*. Moreover, we'll discuss a solution implemented in the Linux kernel which is known as retpoline.

Symbolic analysis of side channel countermeasures

Cryptography’s current research trends show that there is an increasing concern about identifying if a side-channel countermeasure is vulnerable to higher-order attacks. In this post, I'll recap the major findings of a paper I've co-authored with two colleagues.