Abstract-Nyligen, ett antal befintliga blockchain system har bevittnat stora buggar och sårbarheter inom smarta kontrakt. Även om litteraturen innehåller ett antal förslag för att säkra smarta kontrakt, fokuserar dessa förslag främst på att bevisa riktigheten eller avsaknaden av en viss typ av sårbarhet inom ett kontrakt, men kan inte skydda utplacerade (legacy) kontrakt från att utnyttjas. I detta dokument tar vi itu med detta problem i samband med återinträdesförsök och föreslår en ny smart kontraktssäkerhetsteknik, dubbad Sereum (Secure Ethereum), som skyddar befintliga, utplacerade kontrakt mot återinträdesattacker på ett bakåtkompatibelt sätt som bygger på övervakning och validering av run-time. Sereum varken kräver någon ändring eller någon semantisk kunskap om befintliga kontrakt. Genom att implementera och utvärdera med hjälp av Ethereum blockchain, visar vi att Sereum täcker det faktiska flödet av ett smart kontrakt för att korrekt upptäcka och förhindra attacker med en falsk positiv hastighet så liten som 0,06% och med försumbar drifttid overhead. Som en biprodukt utvecklar vi tre avancerade återinträdesattacker för att demonstrera begränsningarna i befintliga offline-sårbarhetsanalysverktyg.
Ett annat intressant exempel är Sereum Ref-arkitekturen, en härdad EMM som kan skydda utplacerade kontrakt mot återinträde attacker på ett bakåtkompatibelt sätt genom att utnyttja fläckspårning för att övervaka körtid beteende av smarta kontrakt.
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}