Joseph Lallemand | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter Müller
27 publications
David Basin
18 publications
Matteo Maffei
16 publications
Felix A. Wolf
4 publications
Ralf Sasse
3 publications
Linard Arquint
3 publications
Christoph Sprenger
2 publications
Niklas Grimm
2 publications
Sven N. Wiesner
1 publication
Véronique Cortier
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

∙ 08/28/2017

A Type System for Privacy Properties (Technical Report)

Mature push button tools have emerged for checking trace properties (e.g...

0 Véronique Cortier, et al. ∙