Follow
Linard Arquint
Linard Arquint
Doctoral Student, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Gobra: Modular specification and verification of go programs
FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller
International Conference on Computer Aided Verification, 367-379, 2021
662021
Using smartphones as continuous receivers in a visible light communication system
S Schmid, L Arquint, TR Gross
Proceedings of the 3rd Workshop on Visible Light Communication Systems, 61-66, 2016
242016
A generic methodology for the modular verification of security protocol implementations
L Arquint, M Schwerhoff, V Mehta, P Müller
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
62023
Gobra: Modular Specification and Verification of Go Programs (extended version)
FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller
arXiv preprint arXiv:2105.13840, 2021
62021
Sound verification of security protocols: From design to interoperable implementations
L Arquint, FA Wolf, J Lallemand, R Sasse, C Sprenger, SN Wiesner, ...
2023 IEEE Symposium on Security and Privacy (SP), 1077-1093, 2023
52023
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
L Arquint, FA Wolf, J Lallemand, R Sasse, C Sprenger, SN Wiesner, ...
arXiv preprint arXiv:2212.04171, 2022
22022
Profiling Symbolic Execution
L Arquint
ETH Zurich, 2019
12019
A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
L Arquint, M Schwerhoff, V Mehta, P Müller
arXiv, 2212.02626 v2, 2023
2023
Current Status and Plans
L Arquint, D Basin, T Klenze, S Liu, P Müller, J Pereira, C Sprenger, ...
The Complete Guide to SCION, 563-572, 2022
2022
Code-Level Verification
L Arquint, P Müller, W Oortwijn, J Pereira, FA Wolf
The Complete Guide to SCION, 519-562, 2022
2022
Implementation of a Smartphone-based Visible Light Communication System using the Camera as a Receiver
L Arquint
ETH Zurich, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–11