Christoph Sprenger | DeepAI

DeepAI

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

Featured Co-authors

Peter Müller
27 publications
David Basin
18 publications
Felix A. Wolf
4 publications
Marco Eilers
3 publications
Ralf Sasse
3 publications
Linard Arquint
3 publications
Martin Clochard
2 publications
Joseph Lallemand
2 publications
Tobias Klenze
1 publication
Sven N. Wiesner
1 publication

research

∙ 12/08/2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)

We provide a framework consisting of tools and metatheorems for the end-...

0 Linard Arquint, et al. ∙

research

∙ 10/09/2020

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have...

0 Christoph Sprenger, et al. ∙