Taxonomic Search: gul OR agha

Results 1 - 10 of 49

Results

profile
group_project

Visible to the public Scalable Methods for Security Against Distributed Attacks

ABOUT THE PROJECT:

This project is developing methods for resilient, efficient recognition of distributed attacks on clouds, data warehouses, clusters, and other massively parallel systems. Such attacks cannot usually be detected through local monitoring alone. Specifically, we are developing a probabilistic distributed temporal logic for characterizing such attacks and methods of verifying formulas in such a logic. The novel approach of combining probabilistic, distributed, and temporal operators will yield a new representation for system properties.

biblio

Visible to the public Parameterized Concurrent Multi-Party Session Types

biblio

Visible to the public Actors Programming for the Mobile Cloud