Protocol eXchange Meeting - January 2007
Protocol eXchange
Naval Postgraduate School
January 29-30, 2007
The full agenda of this meeting was lost although we have six of the presentations that were made at this meeting.
| Modeling Adaptive Node Capture Attacks in Multihop Wireless Networks [pdf] Patrick Tague & Radha Poovendran (University of Washington) |
| Analyzing the Resiliency of Key Distribution Techniques for Mobile Ad Hoc Network [pdf] Jason Rogers (NRL) |
| Unification in Maude [pdf] Steven Eker (SRI) |
| Maude2PVS [pdf] Sam Owre (SRI) |
| Searching for Shapes [pdf] Joshua Guttman (MITRE) |
| Implementing Tuengerthal's XOR Unification [pdf] Jon Millen (MITRE) |
Presentations collected by George Dinolt