Skip to content
Change the repository type filter

All

    Repositories list

    • smt-layer

      Public
      Python
      MIT License
      1600Updated 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
      3200Updated Sep 6, 2017Sep 6, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.