<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Anastasia Mavridou |</title><link>https://aronlaszka.com/authors/anastasia-mavridou/</link><atom:link href="https://aronlaszka.com/authors/anastasia-mavridou/index.xml" rel="self" type="application/rss+xml"/><description>Anastasia Mavridou</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Sat, 01 Jul 2023 00:00:00 +0000</lastBuildDate><item><title>Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid</title><link>https://aronlaszka.com/publications/nelaturu2023correct/</link><pubDate>Sat, 01 Jul 2023 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/nelaturu2023correct/</guid><description>&lt;p class="text-base"&gt;&lt;strong&gt;Impact Factor:&lt;/strong&gt; 7&lt;/p&gt;</description></item><item><title>Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches</title><link>https://aronlaszka.com/publications/eisele2020blockchains/</link><pubDate>Tue, 01 Sep 2020 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/eisele2020blockchains/</guid><description/></item><item><title>Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities</title><link>https://aronlaszka.com/publications/kaleem2020vyper/</link><pubDate>Tue, 01 Sep 2020 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/kaleem2020vyper/</guid><description/></item><item><title>Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid</title><link>https://aronlaszka.com/publications/nelaturu2020verified/</link><pubDate>Fri, 01 May 2020 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/nelaturu2020verified/</guid><description>&lt;p class="text-base"&gt;&lt;strong&gt;Acceptance Rate:&lt;/strong&gt; 22%&lt;/p&gt;</description></item><item><title>VeriSolid: Correct-by-Design Smart Contracts for Ethereum</title><link>https://aronlaszka.com/publications/mavridou2019verisolid/</link><pubDate>Fri, 01 Feb 2019 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/mavridou2019verisolid/</guid><description>&lt;p class="text-base"&gt;&lt;strong&gt;Acceptance Rate:&lt;/strong&gt; 22%&lt;/p&gt;</description></item><item><title>SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities</title><link>https://aronlaszka.com/publications/eisele2018solidworx/</link><pubDate>Sun, 01 Jul 2018 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/eisele2018solidworx/</guid><description>&lt;p class="text-base"&gt;&lt;strong&gt;Acceptance Rate:&lt;/strong&gt; 15.3%&lt;/p&gt;</description></item><item><title>Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts</title><link>https://aronlaszka.com/publications/mavridou2018tool/</link><pubDate>Sun, 01 Apr 2018 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/mavridou2018tool/</guid><description/></item><item><title>Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach</title><link>https://aronlaszka.com/publications/mavridou2018designing/</link><pubDate>Thu, 01 Feb 2018 00:00:00 +0000</pubDate><guid>https://aronlaszka.com/publications/mavridou2018designing/</guid><description>&lt;p class="text-base"&gt;&lt;strong&gt;Acceptance Rate:&lt;/strong&gt; 26%&lt;/p&gt;</description></item></channel></rss>