Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • 3 1
    hp4

    HyPer4 source.

  • 1 4

    This project is developing new techniques for the creation of highly effective fuzz testers, also known as "fuzzers," for programming language compilers and interpreters. For more, see https://www.flux.utah.edu/project/xsmith

  • 1 2

    The Advanced Networks Systems Research (ANSR) group at the University of Utah is working on technologies, protocols and applications encompassing mobile and pervasive systems and wireless networks.

  • 3 4

    Decomposed, verified kernel

  • 1 3
  • 4 3

    Fast and Secure Cloud Infrastructure in a Safe Language

  • 9 3
  • 1 2

    Materials for planning and organizing CSET '16, the 9th Workshop on Cyber Security Experimentation and Test

  • 19 9

    Group for all open access network related repositories.

  • 9 8
  • 4 5

    Repositories associated with the KnowU and USec "full circle" network management systems.

  • 4 1

    My talks that aren't associated with a single paper.

  • 8 11
  • 2 1
    os
  • 2 7
  • 8 1

    Grading repositories for CS 6963, Spring 2015

  • 13 9

    CS6963, "Evaluating Networked Systems", Spring 2015

  • 2 2

    CS6480 ems project

  • 18 10

    PhantomNet projects

  • 1 2

    Group for UofU One Network activity