Publication
Tool
paraF: Parametric flow algorithm implementation
This is an implementation of the Gallo-Grigoriadis-Tarjan algorithm and its variations used in an experimental study described in MSR-TR-2006-77.
Publication
Maximizing Data Locality in Distributed Systems
Publication
Implementing Dataflow With Threads
Group
Cryptography, Security, and Applied Mathematics
The Cryptography, Security, and Applied Mathematics (CSAM) group conducts research on theoretical and practical aspects of cryptography, computational complexity, formal approaches to system and software security, data mining and machine learning with applications to security,…