[Home] [CV] [Publications]

Publications

Plus dead 464d287f739b8ca6f1ee5f5933eb559dbaeef6a58e9d9c22acd9710ba53861bd Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation
Gutierrez-Nolasco, Sebastian and Venkatasubramanian, Nalini and Stehr, Mark-Oliver and Talcott, Carolyn L. - 2006