Linard Arquint

According to our database, Linard Arquint authored at least 6 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Sound Verification of Security Protocols: From Design to Interoperable Implementations.

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

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

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

CoRR, 2022

2021

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

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

CoRR, 2021

Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2016

Using smartphones as continuous receivers in a visible light communication system.

Stefan Schmid, Linard Arquint, Thomas R. Gross

Proceedings of the 3rd Workshop on Visible Light Communication Systems, 2016