Andreas Lindner

Postdoctoral position at Department of Electrical Engineering; Integrated Smart Systems Technology

E-mail:: andreas.lindner@angstrom.uu.se
Visiting address:: Ångström, Lägerhyddsvägen 1
752 37 Uppsala
Postal address:: Box 65
751 03 Uppsala

Download contact information for Andreas Lindner at Department of Electrical Engineering; Integrated Smart Systems Technology

Publications

Recent publications

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification

Lindner, Andreas; Palmskog, Karl; Constable, Scott; Dam, Mads et al.

Part of Verification, Model Checking, And Abstract Interpretation, VMCAI 2026, p. 147-172, 2026
- DOI for Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media

Akbari, Saba; Lindner, Andreas; Voigt, Thiemo; Bergman, Jan et al.

Part of 2025 IEEE Sensors Applications Symposium (SAS), 2025
- DOI for Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
- Download full text (pdf) of Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media

All publications

Conference papers

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification

Lindner, Andreas; Palmskog, Karl; Constable, Scott; Dam, Mads et al.

Part of Verification, Model Checking, And Abstract Interpretation, VMCAI 2026, p. 147-172, 2026
- DOI for Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media

Akbari, Saba; Lindner, Andreas; Voigt, Thiemo; Bergman, Jan et al.

Part of 2025 IEEE Sensors Applications Symposium (SAS), 2025
- DOI for Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
- Download full text (pdf) of Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media