Publications by Andreas Lindner
Peer reviewed
Articles
[1]
A. Lindner, R. Guanciale and R. Metere, "TrABin : Trustworthy analyses of binaries," Science of Computer Programming, vol. 174, pp. 72-89, 2019.
Conference papers
[2]
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.
[3]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," in Software Engineering and Formal Methods, 2020, pp. 193-213.
[4]
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.
[5]
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.
[6]
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
[7]
A. Lindner, "Proving Safety and Security of Binary Programs," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2023:41, 2023.
Other
[8]
A. Lindner, R. Guanciale and M. Dam, "Proof-Producing Symbolic Execution for Binary Code Verification," (Manuscript).
Latest sync with DiVA:
2024-07-17 13:15:10