Search papers, labs, and topics across Lattice.
Corresponding authors: Wolfgang Grieskamp () and Vineeth Kashyap ()
1
0
1
Runtime safety checks in Move could be the critical layer that prevents asset loss from undetected verifier bugs in blockchain applications.
