bichhawat

IIT GandhinagarGandhinagar

Pinned Repositories

estrela
Estrela
Language:Python0 2 00
ifc4bc
Information flow control enabled WebKit
Language:C++2 2 00
rust-project
Language:Rust00
thesis
Language:TeX0 2 00
comp-model
Prototype implementation of the semantics of the compositional model in OCaml
Language:OCaml0 1 00
tainted-sme
Language:OCaml0 2 00
assignment1
Language:C0 1 00
assignment-2-ogsinos
Language:C00
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:OCaml13 10 03
vericrypt-materials
Language:TeX00