4 citations · 4 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
Marcus Birgersson, Cyrille Artho, Musard Balliu
Many applications benefit from computations over the data of multiple users while preserving confidentiality. We present a solution where multiple mutually distrusting users' data…
cs.CR2023★ 4 cited
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications…