Linard Arquint
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | The Secrets Must Not Flow: Scaling Security Verification to Large Codebases. | Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Mller |
| 2023 | CCS | A Generic Methodology for the Modular Verification of Security Protocol Implementations. | Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Mller |
| 2023 | SP | 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 Mller |
| 2021 | CAV | Gobra: Modular Specification and Verification of Go Programs. | Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, Joo Carlos Pereira, Peter Mller |
| 2016 | MOBICOM | Using smartphones as continuous receivers in a visible light communication system. | Stefan Schmid, Linard Arquint, Thomas R. Gross |
| 2016 | MOBICOM | Using smartphones as continuous receivers in a visible light communication system. | Stefan Schmid, Linard Arquint, Thomas R. Gross |