research
∙
07/25/2022
Automatic Fair Exchanges
In a decentralized environment, exchanging resources requires users to b...
share
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
∙
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
∙
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