harsh1618

Pinned Repositories

afklee
Symbolic Execution with lazy concrete execution of selected functions (Forked from https://github.com/klee/klee)
Language:C++0 3 00
BuyQuikr
Quikr Chrome extension built for Quikr API online Hackathon
Language:JavaScript0 3 00
cs628-ctf
Capture the Flag contest for the Computer System Security course at IIT Kanpur (2016)
Language:JavaScript2 1 01
dotfiles
my vim and bash config files
Language:Vim Script3 1 01
openvpn
Session and native MFA support in OpenVPN. Current development in feature/mfa and feature/session branches.
Language:C0 2 02
SymEx
Symbolic Execution of LLVM bitcode to identify security vulnerabilities. Toy project for Program Analysis and Verification course.
Language:C++2 2 02
szmq-tls
Secure ZMQ over TLS
Language:C2 103 02

harsh1618's Repositories

harsh1618/dotfiles
my vim and bash config files
Language:Vim Script3 1 01
harsh1618/cs628-ctf
Capture the Flag contest for the Computer System Security course at IIT Kanpur (2016)
Language:JavaScript2 1 01
harsh1618/SymEx
Symbolic Execution of LLVM bitcode to identify security vulnerabilities. Toy project for Program Analysis and Verification course.
Language:C++2 2 02
harsh1618/afklee
Symbolic Execution with lazy concrete execution of selected functions (Forked from https://github.com/klee/klee)
Language:C++0 3 00
harsh1618/BuyQuikr
Quikr Chrome extension built for Quikr API online Hackathon
Language:JavaScript0 3 00
harsh1618/openvpn
Session and native MFA support in OpenVPN. Current development in feature/mfa and feature/session branches.
Language:C0 2 02
harsh1618/algorithms
Code for my Algorithms course
1 0
harsh1618/closeness_centrality
Top-k closeness centrality in an undirected graph. Modified version of algorithm described in this paper http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6816651
Language:Python2 0
harsh1618/prezto
The configuration framework for Zsh
Language:Shell1 0
harsh1618/VimFx
Vim powered browsing with Firefox
Language:CoffeeScript1 0