%0 Thesis %1 phd/basesearch/Lindner23 %A Lindner, Andreas %D 2023 %K dblp %T Proving Safety and Security of Binary Programs.

@phdthesis{phd/basesearch/Lindner23, added-at = {2023-06-17T00:00:00.000+0200}, author = {Lindner, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2b719caeab60dc3ab0682e74f902e29e8/dblp}, ee = {https://www.base-search.net/Record/97496f200dc30b833873cb0f689f0f08d87917f05ae4f9a24a6fcc0847fe776b}, interhash = {5e679e8fa42e89ecd7b782096ba07c48}, intrahash = {b719caeab60dc3ab0682e74f902e29e8}, keywords = {dblp}, note = {base-search.net (ftkthstockholm:oai:DiVA.org:kth-326719)}, school = {Royal Institute of Technology, Stockholm, Sweden}, timestamp = {2024-04-09T09:21:15.000+0200}, title = {Proving Safety and Security of Binary Programs.}, year = 2023 }