Search papers, labs, and topics across Lattice.
Affiliation:
4
0
4
It is argued that achieving reproducibility in TEEs requires a holistic development approach that extends beyond individual developers and calls for stronger commitments - rather than treating TEEs as a"security badge".
A first formal definition of frontrunning vulnerability for smart contracts is proposed, which captures a key insight: resistance to frontrunning is not an intrinsic property of a contract alone, but depends critically on how honest users interact with it.
Secure enclave updates and migrations, previously missing from RISC-V TEEs, are now practical thanks to a novel toolkit that adds minimal overhead.
SseRex finds hundreds of potential bugs in Solana smart contracts that existing tools miss, revealing that subtle, easily overlooked issues are often the root cause of severe exploits.
