Publikationer av Andreas Lindner
Refereegranskade
Artiklar
[1]
A. Lindner, R. Guanciale och R. Metere, "TrABin : Trustworthy analyses of binaries," Science of Computer Programming, vol. 174, s. 72-89, 2019.
Konferensbidrag
[2]
P. Buiras et al., "Validation of side-channel models via observation refinement," i Proceedings of the Annual International Symposium on Microarchitecture, MICRO, 2021, s. 578-591.
[3]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," i Software Engineering and Formal Methods, 2020, s. 193-213.
[4]
H. Nemati et al., "Validation of Abstract Side-Channel Models for Computer Architectures," i Lecture Notes in Computer Science book series, 2020, s. 225-248.
[5]
R. Metere, A. Lindner och R. Guanciale, "Sound transpilation from binary to machine-independent code," i 20th Brazilian Symposium on Formal Methods, SBMF 2017, 2017, s. 197-214.
[6]
M. Lindner, A. Lindner och P. Lindgren, "Safe tasks : run time verification of the RTFM-lang model of computation," i 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2016.
Icke refereegranskade
Avhandlingar
[7]
A. Lindner, "Proving Safety and Security of Binary Programs," Doktorsavhandling Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2023:41, 2023.
Övriga
[8]
A. Lindner, R. Guanciale och M. Dam, "Proof-Producing Symbolic Execution for Binary Code Verification," (Manuskript).
Senaste synkning med DiVA:
2024-06-30 04:06:40