Project

Back to overview

Towards secure and trustful cryptographic currencies and consensus ledgers

English title Towards secure and trustful cryptographic currencies and consensus ledgers
Applicant Sharygina Natasha
Number 179612
Funding scheme Scientific Exchanges
Research institution Istituto del Software (SI) Facoltà di scienze informatiche
Institution of higher education Università della Svizzera italiana - USI
Main discipline Mathematics
Start/End 01.05.2018 - 31.10.2018
Approved amount 18'500.00
Show all

All Disciplines (2)

Discipline
Mathematics
Information Technology

Keywords (3)

Cryptocurrency; Bitcoins and Blockchains; Trust

Responsible applicant and co-applicants

Publications

Publication
Computing exact worst-case gas consumption for smart contracts
Marescotti Matteo, Blicha Martin, Hyvärinen Antti E.J., Asadi Sepideh, Sharygina Natasha (2018), Computing exact worst-case gas consumption for smart contracts, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and , 11247 LNCS, 450-465, Springer, Switzerland 11247 LNCS, 450-465.
Function Summarization Modulo Theories
AsadiSepideh (2018), Function Summarization Modulo Theories, in LPAR-22, International Conference on Logic for Programming, Artificial Intelligence, EasyChair, electronic.

Collaboration

Group / person Country
Types of collaboration
Prof. Huth/Imperial college London Great Britain and Northern Ireland (Europe)
- in-depth/constructive exchanges on approaches, methods or results
- Research Infrastructure

Scientific events

Active participation

Title Type of contribution Title of article or contribution Date Place Persons involved
ISOLA 2018 Talk given at a conference Computing Exact Worst-Case Gas Consumption for Smart Contracts 05.11.2018 Limassol, Cyprus Sharygina Natasha;
Invited talk Individual talk Smart and reliable contracts 21.10.2018 London, Great Britain and Northern Ireland Sharygina Natasha;


Communication with the public

Communication Title Media Place Year
New media (web, blogs, podcasts, news feeds etc.) News at Formal Verification group site www.verify.inf.usi.ch International 2018

-