Pinned Repositories
50530
For software engineering course
Adversarial-Reading-List
adversarial-robustness-toolbox
Python library for adversarial attacks and defenses (evasion, poisoning) for neural networks with multiple framework support
Agents4PLC
android-apps
my android apps
care
icse 2022 care
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
DEEPSEC
DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model
Ziqian
Learn probabilistic models from system trace for verification
wang-jingyi's Repositories
wang-jingyi/Ziqian
Learn probabilistic models from system trace for verification
wang-jingyi/DEEPSEC
DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model
wang-jingyi/50530
For software engineering course
wang-jingyi/Adversarial-Reading-List
wang-jingyi/adversarial-robustness-toolbox
Python library for adversarial attacks and defenses (evasion, poisoning) for neural networks with multiple framework support
wang-jingyi/Agents4PLC
wang-jingyi/android-apps
my android apps
wang-jingyi/care
icse 2022 care
wang-jingyi/cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
wang-jingyi/DLV
Safety Verification of Deep Neural Networks
wang-jingyi/wang-jingyi.github.io
My personal website
wang-jingyi/DRtest
wang-jingyi/dtmc.learn
active learning of dtmc
wang-jingyi/dynamic_adv_training
Code for ICML2019 Paper "On the Convergence and Robustness of Adversarial Training"
wang-jingyi/hexo-theme-BsLight
A theme based on Light for Hexo
wang-jingyi/iec-checker
Static analysis of IEC 61131-3 programs
wang-jingyi/IMCIS-artifact
The TACAS'19 artifact submission for the tool IMCIS
wang-jingyi/LLM_4_PLC
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
wang-jingyi/mnist_challenge
A challenge to explore adversarial robustness of neural networks on MNIST.
wang-jingyi/myslides
Slide of my talks
wang-jingyi/PLCreX
Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
wang-jingyi/pytorch-cifar
95.16% on CIFAR10 with PyTorch
wang-jingyi/reko
Reko is a binary decompiler.
wang-jingyi/shap
A unified approach to explain the output of any machine learning model.
wang-jingyi/soft_patterns
Text classification code described in "SoPa: Bridging CNNs, RNNs, and Weighted Finite-State Machines" by Roy Schwartz, Sam Thomson and Noah A. Smith, ACL 2018
wang-jingyi/ssj
Stochastic Simulation in Java
wang-jingyi/starter-hugo-academic
wang-jingyi/Ziqian_evaluation
Evaluation for tool LAR