Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Stian Lybech
Observed names:
Lybech, Stian,
Stian Lasse Lybech
Institution:
University of Southern Denmark
Observed institutions:
Reykjavík University,
University of Copenhagen,
University of Southern Denmark,
Sapienza University of Rome,
Aalborg University
ORCID:
0000-0001-8219-2285
Observed ORCID:
0000-0001-8219-2285
OpenAlex ID:
A5071887572
A Sound Type System for Secure Currency Flow
2024
·
Aceto, Luca
, Gorla, Daniele
, et al.
·
arXiv (Cornell University)
·
7
PDF
Preventing Out-of-Gas Exceptions by Typing
2024
·
Luca Aceto
, Daniele Gorla
, et al.
·
Lecture notes in computer science
·
6
PDF
A Generic Type System for Higher-Order Ψ-calculi
2022
·
Alex Rønning Bendixen
, Bjarke Bredow Bojesen
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
4
The reflective higher-order calculus: Encodability, typability and separation
2024
·
Stian Lybech
·
Information and Computation
·
3
Encodability and Separation for a Reflective Higher-Order Calculus
2022
·
Stian Lybech
·
Electronic Proceedings in Theoretical Computer Science
·
3
A generic type system for higher-order Ψ-calculi
2024
·
Hans Hüttel
, Stian Lybech
, et al.
·
Information and Computation
·
2
A Sound Type System for Secure Currency Flow
2025
·
Luca Aceto
, Daniele Gorla
, et al.
·
ACM Transactions on Programming Languages and Systems
·
1
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
2025
·
Lybech, Stian
, Gorla, Daniele
, et al.
·
arXiv (Cornell University)
·
1
PDF
Typing Composite Subjects
2024
·
Aceto, Luca
, Gorla, Daniele
, et al.
·
arXiv (Cornell University)
·
1
PDF
Additive Manufacturing Merged Threat Taxonomy (AMTT) with CIA, Cyber Resilience Act and MITRE ATT&CK annotations
2026
·
Gawad, Sami
, Nguyen, Kenny Loc Vinh
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Information Flow Control in Off-Chain Components
2026
·
Lybech, Stian
, Kang, Eun-Young
, et al.
·
arXiv (Cornell University)
PDF
A Type-Theoretic Approach to Smart-Contract Safety
2025
·
Lybech, Stian
·
Opin vísindi (Opin vísindi)
PDF
Locations and session types in a language with higher-order reflection
2019
·
Michael Tran
, Alexander Rønning Bendixen
, et al.
·
Programming Based on Actors, Agents, and Decentralized Control
Show more works
View as search
Works count:
13
Citation count:
28
H-index:
3
I10-index:
Year
Topic
Type
