From f97ff6447ec5e7b38a13eac79308cc45f6f73ee6 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Sat, 24 Aug 2024 00:19:55 +0200 Subject: [PATCH] Update README.md --- profile/README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/profile/README.md b/profile/README.md index 6b5aaf9..f1d7195 100644 --- a/profile/README.md +++ b/profile/README.md @@ -26,8 +26,9 @@ for: * [Coq](https://coq.inria.fr/): we use Coq to prove Cybersecurity guarrantees on code -* [Web Assembly (WASM)](https://webassembly.org/): we work on tooling - to target web assembly from other languages +* [WebAssembly (Wasm)](https://webassembly.org/): we work on tooling + to target Wasm from other languages and to perform bug finding on them + by performing various Wasm static analysis such as symbolic execution * [Solidity](https://soliditylang.org/): we have developed tooling for several smart contract programming languages, among which Solidity,