Welcome to IWACO!

on YouTube ↗07m

" summary

Organizers pull IWACO together after a chance conversation at Splash and four people end up running the workshop; the program ties capability as a file handle to practical problems like safe memory, aliasing of important entities to tracking who can access what, and ownership controls aliases to reclaiming or revoking rights. Claims span hardware, language design, type systems and formal verification, with Rust cited as top-rated for seven years as evidence of demand.

AI-written summary · about

" related talks

• 16mIris-Wasm: Robust and Modular Verification of WebAssembly ProgramsConrad Watt, Philippa Gardner, Lars Birkedal, Maxime Legoupil, Aina Linn Georges, Jean Pichon-Pharabod, Xiaojia Rao · PLDI 2023
• 18mCocoon: Static Information Flow Control in RustVincent Beardsley, Ada Lamba, Michael D. Bond, Max Taylor, Jacob Bambeck, Zhiqiang Lin · OOPSLA 2024
• 50mUsing IAC to Accelerate Threat ModelingArnaud Monhon Bah · OWASP 2022 Global AppSec Europe Virtual Event
• 21mRichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssemblyAmal Ahmed, Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur · PLDI 2024
• 33mZero Trust in the Cloud with WebAssembly and WasmCloudKevin Hoffman · CloudNativeSecurityCon North America 2023
• 34mPlaying Safely in the...Luke Wagner, Ralph Squillace, Bailey Elizabeth Hayes, Ram Iyengar · WasmCon 2024
• 55mOWASP Coraza: The Way To WAF In 2023Juan Pablo Tosso, Felipe Zipitria · Global AppSec Dublin 2023
• 31mWebAssembly Component Model: Enhancing Security, Productivity, and...Bailey Elizabeth Hayes, Kate Goldenring · Cloud Native Wasm Day NA 2023