research
∙
01/12/2023
Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning
Blockchain technology has been successfully exploited for deploying new ...
share
research
∙
07/25/2022
Automatic Fair Exchanges
In a decentralized environment, exchanging resources requires users to b...
research
∙
05/31/2022
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)
Security Enhanced Linux (SELinux) is a security architecture for Linux i...
research
∙
11/27/2020
A theory of transaction parallelism in blockchains
Decentralized blockchain platforms have enabled the secure exchange of c...
research
∙
10/19/2020
Private-Yet-Verifiable Contact Tracing
We propose PrYVeCT, a private-yet-verifiable contact tracing system. PrY...
research
∙
09/17/2020
A type language for message passing component-based systems
Component-based development is challenging in a distributed setting, for...
research
∙
03/12/2020
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Obfuscating compilers protect a software by obscuring its meaning and im...
research
∙
01/29/2020
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Computer systems often provide hardware support for isolation mechanisms...
research
∙
08/06/2019
A minimal core calculus for Solidity contracts
The Ethereum platform supports the decentralized execution of smart cont...
research
∙
05/10/2019
A true concurrent model of smart contracts executions
One of the key features of modern blockchain platforms is the possibilit...
research
∙
01/15/2019
Translation Validation for Security Properties
Secure compilation aims to build compilation chains that preserve securi...
research
∙
08/01/2018
Using Standard Typing Algorithms Incrementally
Modern languages are equipped with static type checking/inference that h...
research
∙
11/30/2017