Matches in SemOpenAlex for { <https://semopenalex.org/work/W2550115983> ?p ?o ?g. }
- W2550115983 abstract "In a world where vulnerabilities in software pose an inherent threat for the networked society, analyzing third-party software, in form of executable programs, becomes increasingly important. While program verification at the source code level has received much attention in the last decades, this thesis focuses on providing a sound and precise analysis framework for binaries, thereby enabling the understanding, auditing, and verification of executable programs." @default.
- W2550115983 created "2016-11-30" @default.
- W2550115983 creator A5008875787 @default.
- W2550115983 creator A5064011411 @default.
- W2550115983 creator A5084839310 @default.
- W2550115983 date "2015-01-01" @default.
- W2550115983 modified "2023-09-27" @default.
- W2550115983 title "Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities" @default.
- W2550115983 cites W143523914 @default.
- W2550115983 cites W1481954153 @default.
- W2550115983 cites W148396834 @default.
- W2550115983 cites W1485150864 @default.
- W2550115983 cites W1487657751 @default.
- W2550115983 cites W1497571013 @default.
- W2550115983 cites W1502028089 @default.
- W2550115983 cites W1507199453 @default.
- W2550115983 cites W1509268249 @default.
- W2550115983 cites W1510011212 @default.
- W2550115983 cites W1514536508 @default.
- W2550115983 cites W1515906028 @default.
- W2550115983 cites W1518247129 @default.
- W2550115983 cites W1518498967 @default.
- W2550115983 cites W1522250664 @default.
- W2550115983 cites W1527581944 @default.
- W2550115983 cites W153679889 @default.
- W2550115983 cites W1537510808 @default.
- W2550115983 cites W154091757 @default.
- W2550115983 cites W1546878666 @default.
- W2550115983 cites W1552921094 @default.
- W2550115983 cites W1556135754 @default.
- W2550115983 cites W1557311886 @default.
- W2550115983 cites W1558427762 @default.
- W2550115983 cites W1565879960 @default.
- W2550115983 cites W1567887689 @default.
- W2550115983 cites W1568194905 @default.
- W2550115983 cites W1568478782 @default.
- W2550115983 cites W1568984608 @default.
- W2550115983 cites W1570919259 @default.
- W2550115983 cites W1572129784 @default.
- W2550115983 cites W1582456956 @default.
- W2550115983 cites W1583651364 @default.
- W2550115983 cites W1584710274 @default.
- W2550115983 cites W158711440 @default.
- W2550115983 cites W1592791534 @default.
- W2550115983 cites W1593690673 @default.
- W2550115983 cites W1597009588 @default.
- W2550115983 cites W1603576379 @default.
- W2550115983 cites W1605468179 @default.
- W2550115983 cites W167662068 @default.
- W2550115983 cites W1726736548 @default.
- W2550115983 cites W174339829 @default.
- W2550115983 cites W1755257908 @default.
- W2550115983 cites W1774989331 @default.
- W2550115983 cites W178079818 @default.
- W2550115983 cites W1782035903 @default.
- W2550115983 cites W181487622 @default.
- W2550115983 cites W1820253543 @default.
- W2550115983 cites W1869764317 @default.
- W2550115983 cites W1870227415 @default.
- W2550115983 cites W1921152384 @default.
- W2550115983 cites W19404793 @default.
- W2550115983 cites W1957766372 @default.
- W2550115983 cites W1973022923 @default.
- W2550115983 cites W1974133806 @default.
- W2550115983 cites W1975857176 @default.
- W2550115983 cites W1991504773 @default.
- W2550115983 cites W1991837261 @default.
- W2550115983 cites W1993255342 @default.
- W2550115983 cites W1994372357 @default.
- W2550115983 cites W2009288822 @default.
- W2550115983 cites W2009489720 @default.
- W2550115983 cites W2014764321 @default.
- W2550115983 cites W2028883038 @default.
- W2550115983 cites W2030906223 @default.
- W2550115983 cites W2031373197 @default.
- W2550115983 cites W2032908410 @default.
- W2550115983 cites W2042033151 @default.
- W2550115983 cites W2043100293 @default.
- W2550115983 cites W2059048359 @default.
- W2550115983 cites W2062873592 @default.
- W2550115983 cites W2066426513 @default.
- W2550115983 cites W2075419979 @default.
- W2550115983 cites W2081810835 @default.
- W2550115983 cites W2087403174 @default.
- W2550115983 cites W2088138384 @default.
- W2550115983 cites W2090044595 @default.
- W2550115983 cites W2097485368 @default.
- W2550115983 cites W2098492867 @default.
- W2550115983 cites W2098698656 @default.
- W2550115983 cites W2102039064 @default.
- W2550115983 cites W2102890180 @default.
- W2550115983 cites W2103714221 @default.
- W2550115983 cites W2103742248 @default.
- W2550115983 cites W2105334567 @default.
- W2550115983 cites W2105505058 @default.
- W2550115983 cites W2108241838 @default.
- W2550115983 cites W2109394703 @default.
- W2550115983 cites W2111825754 @default.
- W2550115983 cites W2113159073 @default.
- W2550115983 cites W2116424612 @default.