Category: Free Downloads and Links

BloodHound: an application which uses graph theory to reveal the hidden and often unintended relationships within an Active Directory environment.

The BloodHound project created by Andrew Robbins, Rohan Vazarkar, and Will Schroeder. BloodHound is an application which uses graph theory to reveal the hidden and often unintended relationships within an Active Directory environment. Attackers can use BloodHound to easily...

Path Predicate Abstraction for Sound System-Level Modeling of Digital Circuits

Dissertation Joakim Henrik Urdahl Fachbereich Elektrotechnik und Informationstechnik der Technische Universität Kaiserslautern December, 15 2015 Motivation and Overview Even after years of progress both in simulation-based and formal verification techniques, System- on-Chip (SoC) verification...

VisualCloud: A DBMS for Virtual Reality

Originally Posted here. By Brandon Haynes, Artem Minyaylov, Magdalena Balazinska, Luis Ceze and Alvin Cheung of the University of Washington Our ability to collect videos en masse can revolutionize how we interact with the world by enabling powerful virtual reality (VR) video applications in...