di Angelo, Monika

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
di Angelo, Monika
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen


Filter:
Subject:  blockchain
Subject:  code analysis

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Loz David - 2023 - Identifying Semantic Properties in the Bytecode of Smart...pdf.jpgLoz, David Identifying semantic properties in the bytecode of smart contracts using symbolic executionThesis Hochschulschrift 2023