Malte Schwerhoff | DeepAI

DeepAI

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

Featured Co-authors

Peter Müller
27 publications
Felix A. Wolf
4 publications
Linard Arquint
3 publications
Vaibhav Mehta
1 publication

research

∙ 12/05/2022

A Generic Methodology for the Modular Verification of Security Protocol Implementations

Security protocols are essential building blocks of modern IT systems. S...

0 Linard Arquint, et al. ∙

research

∙ 10/14/2020

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)

Modern separation logics allow one to prove rich properties of intricate...

0 Felix A. Wolf, et al. ∙