research
∙
10/21/2022
DARWIN: Survival of the Fittest Fuzzing Mutators
Fuzzing is an automated software testing technique broadly adopted by th...
share
research
∙
10/13/2022
POSE: Practical Off-chain Smart Contract Execution
Smart contracts enable users to execute payments depending on complex pr...
research
∙
05/11/2022
Trusted Container Extensions for Container-based Confidential Computing
Cloud computing has emerged as a corner stone of today's computing lands...
research
∙
05/04/2022
V'CER: Efficient Certificate Validation in Constrained Networks
We address the challenging problem of efficient trust establishment in c...
research
∙
01/24/2022
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
The increasing complexity of modern processors poses many challenges to ...
research
∙
10/29/2020
CURE: A Security Architecture with CUstomizable and Resilient Enclaves
Security architectures providing Trusted Execution Environments (TEEs) h...
research
∙
07/05/2020
