[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View jaybosamiya's full-sized avatar
🦊
🦊
818 followers · 247 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Organizations

@pwning @picoCTF @FStarLang @BinaryAnalysisPlatform @TeamColonelPanic @project-everest @InfoSecIITR @secure-foundations

Block or report jaybosamiya

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. secure-foundations/provably-safe-sandboxing-wasm-usenix22 secure-foundations/provably-safe-sandboxing-wasm-usenix22 Public

    Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

    WebAssembly 35 1

  2. secure-foundations/rWasm secure-foundations/rWasm Public

    A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

    Rust 28 6

  3. security-notes security-notes Public

    📓 Some security related notes

    458 41

  4. latex-paper-template latex-paper-template Public template

    📖 A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.

    Python 9 1

  5. secure-foundations/wasm-semantics-fuzzer secure-foundations/wasm-semantics-fuzzer Public

    An aid for developing correct WebAssembly implementations through generative fuzzing

    Rust 10 2

  6. matasano-crypto matasano-crypto Public

    🔑 Cracking real-world Crypto, the fun way

    Python 20 4