Publications

Compiler optimizations can be correct and yet be insecure. Program changes made during optimization may weaken security guarantees -- for instance, by introducing new ways to leak secret data.

The broadband access capacity that connects homes to the Internet is often only partially consumed, either because of the relatively low-range access subscription selected or because the user is no

The trend in the industry is to use the Internet protocol (IP) networks to provide the voice services.

Abstract—Smart Grid applications are imposing challenging requirements of security and reliability on the N-way com- munication infrastructure being designed to support multiple grid applications.

Complying with security and privacy requirements of appliances such as mobile handsets, personal computers, servers for customers, enterprises and governments is mandatory to prevent from theft of

Traditionally, a parallel application is partitioned, mapped and then routed on a network of compute nodes where the topology of the interconnection network is known beforehand and is homogeneous.

We review recent studies by optics methods of emergent phases in the quantum Hall (QH) regimes of double layers with finite tunneling at Landau level filling factor nu=1.

The analytical approach to understanding the performance of computer systems is largely based on queueing theory.

This short video tape describes Seenet, a research software system that produces visual images of network data and allows interactive manipulation of these images.

The success of computers in doing routine work formerly done by people suggests that a computer capable of adjusting itself to a changing environment might be desirable.