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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski