 | 2008 |
| 6 |  | Matthew Finifter,
Adrian Mettler,
Naveen Sastry,
David Wagner:
Verifiable functional purity in java.
ACM Conference on Computer and Communications Security 2008: 161-174 |
| 2006 |
| 5 |  | David Molnar,
Tadayoshi Kohno,
Naveen Sastry,
David Wagner:
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract).
IEEE Symposium on Security and Privacy 2006: 365-370 |
| 2004 |
| 4 |  | Chris Karlof,
Naveen Sastry,
Yaping Li,
Adrian Perrig,
J. D. Tygar:
Distillation Codes and Applications to DoS Resistant Multicast Authentication.
NDSS 2004 |
| 3 |  | Chris Karlof,
Naveen Sastry,
David Wagner:
TinySec: a link layer security architecture for wireless sensor networks.
SenSys 2004: 162-175 |
| 2 |  | Naveen Sastry,
David Wagner:
Security considerations for IEEE 802.15.4 networks.
Workshop on Wireless Security 2004: 32-42 |
| 2003 |
| 1 |  | Naveen Sastry,
Umesh Shankar,
David Wagner:
Secure verification of location claims.
Workshop on Wireless Security 2003: 1-10 |