Linard Arquint | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Peter Müller
27 publications
David Basin
18 publications
Felix A. Wolf
4 publications
Wytse Oortwijn
3 publications
Ralf Sasse
3 publications
Christoph Sprenger
2 publications
Malte Schwerhoff
2 publications
Martin Clochard
2 publications
Joseph Lallemand
2 publications
João C. Pereira
1 publication
Vaibhav Mehta
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

∙ 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

∙ 05/28/2021

Gobra: Modular Specification and Verification of Go Programs (extended version)

Go is an increasingly-popular systems programming language targeting, es...

0 Felix A. Wolf, et al. ∙

Success!

An error occurred