4 papers
Where did we fail? -- Reproducing build failures in embedded open source software
Han Fu, Andreas Ermedahl, Sigrid Eldh +3
Due to hardware-software co-development in embedded systems, continuous integration (CI) builds frequently fail because of complex cross-compilation, board configurations, and tool…
SoliDiffy: AST Differencing for Solidity Smart Contracts
Mojtaba Eshghie, Viktor à ryd, Cyrille Artho +1
Structured code differencing is the act of comparing the hierarchical structure of code via its abstract syntax tree (AST) to capture modifications. AST-based source code differenc…
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…
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…