Naveen Sastry

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

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