avatar

Soroush Farokhnia

PhD Student
Hong Kong University of Science and Technology
sfarokhnia@connect.ust.hk

About Me

I am currently a student of Doctorate of Philosophy (PhD) in Computer Science and Engineering under the supervision of Amir Goharshady.

Research Interests

Formal Verification, Parametrized Algorithms, Smart-Contracts, Layer 2 Solutions

Publications

  1. T. Barakbayeva, S. Farokhnia, A.K. Goharshady, M. Gufler, S. Novozhilov
    Pixiu: Optimal Block Production Revenues on Cardano
    IEEE International Conference on Blockchain, Blockchain 2024

  2. S. Farokhnia, A.K. Goharshady
    Options and Futures Imperil Bitcoin’s Security
    IEEE International Conference on Blockchain, Blockchain 2024

  3. Z. Cai, S. Farokhnia, A.K. Goharshady, S. Hitarth
    Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
    ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023

  4. S. Farokhnia, A.K. Goharshady
    Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain
    IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023

  5. S. Farokhnia, A.K. Goharshady
    Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts
    ACM Symposium on Applied Computing, SAC 2023

Conferences, Workshops, and Summer Schools

  1. Summer School 2024: Usable Security
    22-26 July 2024
    CISPA - Helmholtz Center for Information Security, Saarbruecken, Germany

  2. Summer School on Verification Technology, Systems & Applications, VTSA 2024
    8-12 July 2024
    University of Luxembourg, Luxembourg

  3. Programming Language Design and Implementation, PLDI 2024
    24-28 June 2024
    Copenhagen, Denmark

  4. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
    22-27 October 2023
    Cascais, Portugal

  5. IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023
    1–5 May 2023
    Dubai, United Arab Emirates

Visits, Internships, and Work Experiences

  1. Formal Verification Intern
    Supervisor: Julian Sutherland
    July-September 2024
    Nethermind internship program
    Remote

  2. Researcher
    Supervisor: Prof. Ehsan Fazl‑Ersi
    2020-2021
    Machine Vision Laboratory Lab
    Mashhad, Iran

  3. Data Engineer
    Supervisor: Behnam Shakibafar
    2017-2020
    Done co.(Old Huma)
    Tehran, Iran


Powered by Jekyll and Minimal Light theme.