SecHack Returns 2020 で開いた F*言語ワークショップのスライドです. F*言語によるセキュアな配列スライス関数 https://github.com/TakuKitamura/fstar-sliceRead less