58 citations · 117 across the 6 of their papers we have counts for
6 papers
Preventing EFail Attacks with Client-Side WebAssembly: The Case of Swiss Post's IncaMail
Pascal Gerig, Jämes Ménétrey, Baptiste Lanoix +4
Traditional email encryption schemes are vulnerable to EFail attacks, which exploit the lack of message authentication by manipulating ciphertexts and exfiltrating plaintext via HT…
VEDLIoT -- Next generation accelerated AIoT systems and applications
Kevin Mika, René Griessl, Nils Kucza +29
The VEDLIoT project aims to develop energy-efficient Deep Learning methodologies for distributed Artificial Intelligence of Things (AIoT) applications. During our project, we propo…
WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone
Jämes Ménétrey, Marcelo Pasin, Pascal Felber +1
WebAssembly (Wasm) is a novel low-level bytecode format that swiftly gained popularity for its efficiency, versatility and security, with near-native performance. Besides, trusted…
Attestation Mechanisms for Trusted Execution Environments Demystified
Jämes Ménétrey, Christian Göttel, Anum Khurshid +4
Attestation is a fundamental building block to establish trust over software systems. When used in conjunction with trusted execution environments, it guarantees the genuineness of…
An Exploratory Study of Attestation Mechanisms for Trusted Execution Environments
Jämes Ménétrey, Christian Göttel, Marcelo Pasin +2
Attestation is a fundamental building block to establish trust over software systems. When used in conjunction with trusted execution environments, it guarantees that genuine code…
Twine: An Embedded Trusted Runtime for WebAssembly
Jämes Ménétrey, Marcelo Pasin, Pascal Felber +1
WebAssembly is an increasingly popular lightweight binary instruction format, which can be efficiently embedded and sandboxed. Languages like C, C++, Rust, Go, and many others can…