Overview •• Brief overview and news Pubs •• Publications and people FAQ •• Frequently asked questions Download •• Source code Source Code Shark is implemented in C++ and is free software, licensed under the GPLv2. We have successfully run this implementation on Linux, OpenBSD, and FreeBSD. Please check back here later for a Shark release. NYU Secure Computer Systems / Project IRIS   ·   7th Floor · 715 Broadway · New York, NY 10003 · USA