Stream: SSProve

Topic: End-to-end


view this post on Zulip Karl Palmskog (Apr 17 2023 at 11:00):

Flamebait: how is this end-to-end secure in the face of Spectre and other transient execution trace/timing attacks? Power-based attacks?

view this post on Zulip Bas Spitters (Apr 18 2023 at 06:56):

The jasmin compiler has been designed to be defensive against timing attacks. Regarding spectre; see https://inria.hal.science/hal-03352062/document


Last updated: Oct 13 2024 at 01:02 UTC