Naveen Sastry

According to our database, Naveen Sastry authored at least 11 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Verifiable functional purity in java.

Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2006

Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine.

David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner

IACR Cryptol. ePrint Arch., 2006

Designing Voting Machines for Verification.

Naveen Sastry

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract).

David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

2005

Cryptographic Voting Protocols: A Systems Perspective.

Chris Karlof, Naveen Sastry, David A. Wagner

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Design and implementation of a sensor network system for vehicle tracking and autonomous interception.

Cory Sharp, Shawn Schaffert, Alec Woo, Naveen Sastry, Chris Karlof, Shankar Sastry, David E. Culler

Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005

2004

Security considerations for IEEE 802.15.4 networks.

Naveen Sastry, David A. Wagner

Proceedings of the 2004 ACM Workshop on Wireless Security, 2004

TinySec: a link layer security architecture for wireless sensor networks.

Chris Karlof, Naveen Sastry, David A. Wagner

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

Distillation Codes and Applications to DoS Resistant Multicast Authentication.

Chris Karlof, Naveen Sastry, Yaping Li, Adrian Perrig, J. D. Tygar

Proceedings of the Network and Distributed System Security Symposium, 2004

2003

Secure verification of location claims.

Naveen Sastry, Umesh Shankar, David A. Wagner

Proceedings of the 2003 ACM Workshop on Wireless Security, 2003

Scrash: A System for Generating Secure Crash Information.

Peter Broadwell, Matthew Harren, Naveen Sastry

Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003, 2003