Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with.

We conduct research in the areas of hardware synthesis, computer security, computer architecture and VLSI design. We are interested in the scaling of databases and data management systems to 1000-core processors, concurrency control for databases, synthesis and verification of large digital systems described using Guarded Atomic Action, and Memory Models and Cache Coherence Protocols for parallel architectures and languages. Recently, our group pointed out vulnerabilities in anonymizing networks, and designed Riffle, a system with strong anonymity.



 12 More