Søren Eller Thomsen | DeepAI

DeepAI

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

Featured Co-authors

Bas Spitters
14 publications
Aslan Askarov
5 publications
Simon Gregersen
1 publication

research

∙ 07/23/2020

Formalizing Nakamoto-Style Proof of Stake

Fault-tolerant distributed systems move the trust in a single party to a...

0 Søren Eller Thomsen, et al. ∙

research

∙ 02/18/2019

A Dependently Typed Library for Static Information-Flow Control in Idris

Safely integrating third-party code in applications while protecting the...

0 Simon Gregersen, et al. ∙