Stian Lybech
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts. | Stian Lybech, Daniele Gorla, Luca Aceto |
| 2024 | ECOOP | A Sound Type System for Secure Currency Flow. | Luca Aceto, Daniele Gorla, Stian Lybech |
| 2024 | ISoLA | Preventing Out-of-Gas Exceptions by Typing. | Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa |