Linard Arquint

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Infrared Imagery

Automated Design

Symbolic Execution

Formal Verification

Top Venues

Publications

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CCS (2023)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP (2023)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CoRR (2022)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR (2022)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR (2021)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs. CAV (1) (2021)
Stefan Schmid, Linard Arquint, Thomas R. Gross
Using smartphones as continuous receivers in a visible light communication system. VLCS@MobiCom (2016)
Stefan Schmid, Linard Arquint, Thomas R. Gross
Using smartphones as continuous receivers in a visible light communication system. VLCS@MobiCom (2016)