Job Noorman | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Sébastien Bardin
18 publications
Letterio Galletta
13 publications
Frank Piessens
12 publications
Pierpaolo Degano
7 publications
Tamara Rezk
6 publications
Matteo Busi
5 publications
Jo Van Bulck
5 publications
Jan Tobias Mühlberg
5 publications
Christoph Baumann
3 publications
Lesly-Ann Daniel
3 publications
Fritz Alder
3 publications

research

∙ 02/23/2023

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)

We propose ProSpeCT, a generic formal processor model providing provably...

0 Lesly-Ann Daniel, et al. ∙

research

∙ 06/02/2022

End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs

This paper presents an approach to provide strong assurance of the secur...

0 Gianluca Scopelliti, et al. ∙

research

∙ 01/29/2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version

Computer systems often provide hardware support for isolation mechanisms...

0 Matteo Busi, et al. ∙