Výsledky vyhledávání - "ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐ¸ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ"

Using symbolic execution for automative vulnerability searching in Ethereum smart contracts

Ð ÑÐ°Ð±Ð¾ÑÐµ Ð¿ÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¾ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸ÐµÐ¼ ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½Ð¾Ð³Ð¾ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ Ð´Ð»Ñ Ð°Ð²ÑÐ¾Ð¼Ð�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::409b5b742fe8222e3aebecb50b0f4836

Zobrazit plný text záznamu

Static analysis of smart contracts in blockchain technology

Ð ÑÐ°Ð±Ð¾ÑÐµ Ð¿ÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¾ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÑÐ°ÑÐ¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð¸ ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½Ð¾Ð³Ð¾ Ð°Ð½Ð°Ð»Ð¸Ð·Ð�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d2279e0c1f4f9669b8ae5022bbe56efe

Zobrazit plný text záznamu