Pinned Repositories
adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
agrigento
Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
androguard
Reverse engineering, Malware and goodware analysis of Android applications ... and more (ninja !)
android-malware
Collection of android malware samples
android-security-awesome
A collection of android security related resources
apk-anal
Android APK analyzer based on radare2 and others.
apkinspector
APKinspector is a powerful GUI tool for analysts to analyze the Android applications.
apposcopy
archived-v2-amandroid
pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
happyxzw's Repositories
happyxzw/pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
happyxzw/articles
A repository for the source code, notebooks, data, files, and other assets used in the data science and machine learning articles on LearnDataSci
happyxzw/BayesOpt_Attack
Targeted black-box adversarial attack using Bayesian Optimization
happyxzw/CryptoAPI-Bench
happyxzw/DeepGO
Reachability Analysis of Deep Neural Networks with Provable Guarantees
happyxzw/eran
ETH Robustness Analyzer for Deep Neural Networks
happyxzw/free-data-science-learning
happyxzw/gradual-typing-bib
A bibliography on Gradual Typing
happyxzw/Graph-Adversarial-Learning
A curated collection of adversarial attack and defense on graph data.
happyxzw/Grokking-Deep-Learning
this repository accompanies the book "Grokking Deep Learning"
happyxzw/icse22ae-kani
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
happyxzw/jpor_codes
Codes for the book "Julia Programming for Operations Research"
happyxzw/jupyter-text2code
happyxzw/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
happyxzw/libsignal-protocol-javascript
Signal Protocol library for JavaScript
happyxzw/lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
happyxzw/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
happyxzw/NeuralVerification.jl
Methods to soundly verify deep neural networks
happyxzw/PalmTree
Offical Implementation for PalmTree
happyxzw/plt
λΠ Programming Language Theory
happyxzw/pyre-check
Performant type-checking for python.
happyxzw/PythonDataScienceHandbook
Python Data Science Handbook: full text in Jupyter Notebooks
happyxzw/RefineRobustness
happyxzw/ReluVal
The released code of ReluVal in USENIX Security 2018
happyxzw/rust-mir-checker
happyxzw/rusty-unit
RustyUnit - automated generator of test suites for Rust crates
happyxzw/Scalpel
Scalpel: The Python Static Analysis Framework
happyxzw/softregex
This is implemantation of the paper SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence [EMNLP 2019]
happyxzw/StructuredRegex
Data and Code for StructuredRegex.
happyxzw/Tai-e-assignments
Tai-e assignments for static program analysis