| 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 | 82 | 2021 |
| 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 | 23 | 2016 |
| 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 | 12 | 2023 |
| 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 | 9 | 2023 |
| 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 | 7 | 2021 |
| 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 | 3 | 2022 |
| Profiling Symbolic Execution L Arquint ETH Zurich, 2019 | 1 | 2019 |
| 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 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
