Rami Gökhan Kıcı | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ranjit Jhala
14 publications
Deian Stefan
14 publications
Marco Vassena
5 publications
Klaus v. Gleissenthall
4 publications

research

∙ 04/01/2021

Solver-Aided Constant-Time Circuit Verification

We present Xenon, a solver-aided method for formally verifying that Veri...

0 Rami Gökhan Kıcı, et al. ∙

research

∙ 05/01/2020

Automatically Eliminating Speculative Leaks With Blade

We introduce BLADE, a new approach to automatically and efficiently synt...

0 Marco Vassena, et al. ∙

research

∙ 10/07/2019

Iodine: Verifying Constant-Time Execution of Hardware

To be secure, cryptographic algorithms crucially rely on the underlying ...

0 Klaus v. Gleissenthall, et al. ∙