Naveen Sastry

11 papers A* 5B 1Misc 1Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2008 A* conf
Verifiable functional purity in java.
CCS
Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner
2006 A* conf
Designing Voting Machines for Verification.
USENIX Security Symposium
Naveen Sastry
2006 J jnl
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine.
IACR Cryptol. ePrint Arch.
David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner
2006 — conf
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract).
S&P
David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner
2005 A* conf
Cryptographic Voting Protocols: A Systems Perspective.
USENIX Security Symposium
Chris Karlof, Naveen Sastry, David A. Wagner
2005 B conf
Design and implementation of a sensor network system for vehicle tracking and autonomous interception.
EWSN
Cory Sharp, Shawn Schaffert, Alec Woo, Naveen Sastry, Chris Karlof, Shankar Sastry, David E. Culler
2004 A* conf
Distillation Codes and Applications to DoS Resistant Multicast Authentication.
NDSS
Chris Karlof, Naveen Sastry, Yaping Li, Adrian Perrig, J. D. Tygar
2004 — conf
Security considerations for IEEE 802.15.4 networks.
Workshop on Wireless Security
Naveen Sastry, David A. Wagner
2004 Misc conf
TinySec: a link layer security architecture for wireless sensor networks.
SenSys
Chris Karlof, Naveen Sastry, David A. Wagner
2003 A* conf
Scrash: A System for Generating Secure Crash Information.
USENIX Security Symposium
Peter Broadwell, Matthew Harren, Naveen Sastry
2003 — conf
Secure verification of location claims.
Workshop on Wireless Security
Naveen Sastry, Umesh Shankar, David A. Wagner