| 2008 |
|---|
| 6 | EE | 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 | EE | 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 | EE | Chris Karlof,
Naveen Sastry,
Yaping Li,
Adrian Perrig,
J. D. Tygar:
Distillation Codes and Applications to DoS Resistant Multicast Authentication.
NDSS 2004 |
| 3 | EE | Chris Karlof,
Naveen Sastry,
David Wagner:
TinySec: a link layer security architecture for wireless sensor networks.
SenSys 2004: 162-175 |
| 2 | EE | Naveen Sastry,
David Wagner:
Security considerations for IEEE 802.15.4 networks.
Workshop on Wireless Security 2004: 32-42 |
| 2003 |
|---|
| 1 | EE | Naveen Sastry,
Umesh Shankar,
David Wagner:
Secure verification of location claims.
Workshop on Wireless Security 2003: 1-10 |
