Linard Arquint

According to our database, Linard Arquint authored at least 14 papers between 2016 and 2025.

Collaborative distances:

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

2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, October, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, September, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

CoRR, July, 2025

2023

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

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

Dataset, December, 2023

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

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

Dataset, September, 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.

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

Dataset, August, 2022

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

Dataset, August, 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.

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

Dataset, April, 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