Skip to content
Change the repository type filter

All

    Repositories list

    • smt-layer

      Public
      Python
      MIT License
      1100Updated Dec 10, 2023Dec 10, 2023
    • gloronet

      Public
      Visit the demo here:
      SCSS
      0000Updated Jun 3, 2023Jun 3, 2023
    • Checks DRUP & DRAT proofs against DIMACS source. Extracted from verified Why3 code.
      Python
      MIT License
      0100Updated May 6, 2023May 6, 2023
    • Evaluate attribution methods
      Jupyter Notebook
      00014Updated Feb 2, 2023Feb 2, 2023
    • Python
      MIT License
      1300Updated Jul 28, 2022Jul 28, 2022
    • Library providing attribution methods for Keras models. Supports Tensorflow and Theano backends.
      Python
      MIT License
      1500Updated Aug 5, 2021Aug 5, 2021
    • Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
      Apache License 2.0
      21800Updated Feb 23, 2021Feb 23, 2021
    • tool-qii

      Public
      Ongoing: QII Code originally from Datta-Sen-Zick Oakland'16, actively developed
      Jupyter Notebook
      MIT License
      1201Updated Sep 13, 2020Sep 13, 2020
    • Jupyter Notebook
      1000Updated Sep 8, 2020Sep 8, 2020
    • marketing

      Public
      0000Updated Jan 31, 2020Jan 31, 2020
    • HTML
      0000Updated Jan 16, 2020Jan 16, 2020
    • Coding guides for various languages the group is using. Useful for smoother collaboration among team members and releasing code to the world.
      0000Updated Sep 13, 2019Sep 13, 2019
    • Makefile
      MIT License
      0000Updated Jun 26, 2019Jun 26, 2019
    • lib-iris

      Public
      Python
      0000Updated May 9, 2019May 9, 2019
    • HTML
      0000Updated Feb 19, 2019Feb 19, 2019
    • Keras-GAN

      Public
      Keras implementations of Generative Adversarial Networks.
      Jupyter Notebook
      MIT License
      3.1k000Updated Jan 31, 2019Jan 31, 2019
    • Various small utilities for use in jupyter notebooks.
      Python
      0000Updated Nov 22, 2018Nov 22, 2018
    • Run information flow experiments on the Web
      Python
      GNU General Public License v3.0
      23100Updated Nov 3, 2018Nov 3, 2018
    • HTML
      0000Updated Jul 17, 2018Jul 17, 2018
    • Perl
      0000Updated Jun 6, 2018Jun 6, 2018
    • Label tracking and label-based policy enforcement demo for the origin privacy project.
      Scala
      0000Updated Mar 19, 2018Mar 19, 2018
    • Snapshot of the proxy-use-related implementations and experiments/results presented in the CCS 2017 paper.
      Python
      3100Updated Sep 6, 2017Sep 6, 2017