Publications by Andreas Lindner
Peer reviewed
Articles
[1]
D. Lundberg et al., "Hoare-style logic for unstructured programs," The Journal of logical and algebraic methods in programming, vol. 149, 2026.
[2]
A. Lindner, R. Guanciale and R. Metere, "TrABin : Trustworthy analyses of binaries," Science of Computer Programming, vol. 174, pp. 72-89, 2019.
Conference papers
[3]
T. Marinaro et al., "Beyond Over-Protection : A Targeted Approach to Spectre Mitigation and Performance Optimization," in ACM AsiaCCS 2024 - Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024, pp. 203-216.
[4]
P. Buiras et al., "Validation of side-channel models via observation refinement," in Proceedings of the Annual International Symposium on Microarchitecture, MICRO, 2021, pp. 578-591.
[5]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," in Software Engineering and Formal Methods, 2020, pp. 193-213.
[6]
H. Nemati et al., "Validation of Abstract Side-Channel Models for Computer Architectures," in Lecture Notes in Computer Science book series, 2020, pp. 225-248.
[7]
R. Metere, A. Lindner and R. Guanciale, "Sound transpilation from binary to machine-independent code," in 20th Brazilian Symposium on Formal Methods, SBMF 2017, 2017, pp. 197-214.
[8]
M. Lindner, A. Lindner and P. Lindgren, "Safe tasks : run time verification of the RTFM-lang model of computation," in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2016.
Non-peer reviewed
Theses
[9]
A. Lindner, "Proving Safety and Security of Binary Programs," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2023:41, 2023.
Other
[10]
[11]
A. Lindner, R. Guanciale and M. Dam, "Proof-Producing Symbolic Execution for Binary Code Verification," (Manuscript).
Latest sync with DiVA:
2026-10-12 22:36:34 UTC