{"id":354,"date":"2025-08-11T17:46:24","date_gmt":"2025-08-11T15:46:24","guid":{"rendered":"https:\/\/karolinagorna.net\/?page_id=354"},"modified":"2025-12-03T14:15:04","modified_gmt":"2025-12-03T13:15:04","slug":"phd","status":"publish","type":"page","link":"https:\/\/karolinagorna.net\/index.php\/phd\/","title":{"rendered":"PHD"},"content":{"rendered":"\n<p>My PhD started in June 2023 and focuses on the security of the Go programming language, with applications to blockchain components. I\u2019m sharing the resources below if you\u2019d like to learn more:<\/p>\n\n\n\n<p><strong>Details:<\/strong> <br><a href=\"https:\/\/theses.fr\/s366715\">https:\/\/theses.fr\/<\/a><a href=\"https:\/\/theses.fr\/s366715\" target=\"_blank\" rel=\"noreferrer noopener\">s366715<\/a><\/p>\n\n\n\n<p><strong>Resources:<\/strong> <br>Github of the main contribution: <a href=\"https:\/\/github.com\/Ledger-Donjon\/zorya\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/github.com\/Ledger-Donjon\/zorya<\/a><\/p>\n\n\n\n<p><strong>PRESENTATIONS:<\/strong><\/p>\n\n\n\n<p>[PAPER] &#8220;<strong>Exposing Go\u2019s Hidden Bugs: A Novel Concolic Framework<\/strong>&#8220;<br>Accepted paper in the 23rd IEEE\/ACIS International Conference on Software Engineering, Management and Applications (SERA 2025)<br><a href=\"https:\/\/arxiv.org\/pdf\/2505.20183\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/arxiv.org\/pdf\/2505.20183<\/a><\/p>\n\n\n\n<p>[ORAL PRESENTATION] <strong>EthCC [8]  Talk &#8211; Hunting Blockchain Clients&#8217; Bugs with Concolic Execution<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Karolina GORNA (Ledger) - Hunting Blockchain Clients&#039; Bugs with Concolic Execution\" width=\"818\" height=\"460\" src=\"https:\/\/www.youtube.com\/embed\/QpcAtfN3B9M?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"683\" src=\"https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-1024x683.jpg\" alt=\"\" class=\"wp-image-355\" srcset=\"https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-1024x683.jpg 1024w, https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-300x200.jpg 300w, https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-768x512.jpg 768w, https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-1536x1025.jpg 1536w, https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-2048x1366.jpg 2048w, https:\/\/karolinagorna.net\/wp-content\/uploads\/2025\/08\/ethcc8-photo-photos_ethcc8_2-TALKS_3-WEDNESDAY-02-07-25_6-Burton-87-850x567.jpg 850w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>My PhD started in June 2023 and focuses on the security of the Go programming language, with applications to blockchain components. I\u2019m sharing the resources&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/pages\/354"}],"collection":[{"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/comments?post=354"}],"version-history":[{"count":3,"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/pages\/354\/revisions"}],"predecessor-version":[{"id":395,"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/pages\/354\/revisions\/395"}],"wp:attachment":[{"href":"https:\/\/karolinagorna.net\/index.php\/wp-json\/wp\/v2\/media?parent=354"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}