Skip to content
View z971586668's full-sized avatar
1 follower · 0 following

Highlights

  • Pro

Block or report z971586668

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

  • ptata Public

    Mitigating Time Side-Channel Attack through Parameterized Language Inclusion Checking

    Python Updated Aug 29, 2020

  • rnn_inv Public

    C Other Updated Apr 1, 2020

  • eran Public

    Forked from eth-sri/eran

    ETH Robustness Analyzer for Deep Neural Networks

    Python Apache License 2.0 Updated Mar 30, 2020

  • crab-llvm Public

    Forked from seahorn/clam

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    C Apache License 2.0 Updated Apr 11, 2019

  • DUCIBone Public

    HTML Updated Jul 25, 2018

  • LinearArbitrary-SeaHorn Public

    Forked from GaloisInc/LinearArbitrary-SeaHorn

    LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

    C Other Updated Jun 25, 2018

  • z971586668.github.io Public

    HTML Updated Apr 23, 2018

  • DUCIBone.io Public

    HTML Updated Apr 23, 2018

  • STAC Public

    Forked from Apogee-Research/STAC

    Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program

    Java Updated Apr 18, 2018

  • aeval Public

    Forked from grigoryfedyukovich/aeval

    AE-solver and Skolemizer

    SMT Other Updated Nov 27, 2017

  • crab Public

    Forked from DavidFarago/crab

    A language-agnostic library for abstract interpretation

    C++ Apache License 2.0 Updated Jul 28, 2017

  • BONEb Public

    TeX Updated Jan 13, 2017

  • jeesite Public

    Forked from thinkgem/jeesite

    JeeSite 是一个企业信息化开发基础平台，Java企业应用开源框架，Java EE（J2EE）快速开发框架，使用经典技术组合（Spring、Spring MVC、Apache Shiro、MyBatis、Bootstrap UI），包括核心模块如：组织机构、角色用户、权限授权、数据权限、内容管理、工作流等。

    JavaScript Apache License 2.0 Updated Nov 7, 2016

  • bbq Public

    Updated Oct 26, 2016

  • bb Public

    C++ Updated Oct 14, 2016

  • BLC Public

    back

    TeX Updated Sep 15, 2016