Published Papers and Technical Reports
2009
The Abstract MAC Layer
Proceedings of the International Symposium
on Distributed Computing (DISC).
Nominated for Best Paper and Best Student Paper Award. (To Appear.)
Modeling Radio Networks
Proceedings of the International Conference on Concurrency Theory (CONCUR).
September, 2009.
The Wireless Synchronization Problem
Proceedings of the ACM Symposium on the Principles of Distributed Computing (PODC).
August, 2009.
Brief Announcement:
Hardness of Broadcasting in Wireless Networks with Unreliable
Communication
Proceedings of the ACM Symposium on the Principles of Distributed Computing (PODC).
August, 2009.
Using Virtual Infrastructure to Adapt Wireline Protocols to MANET
Proceedings of the International Symposium on Network Computing and Applications (NCA).
Winner of Best Paper Award. July, 2009
Reliable Distributed Computing on Unreliable Radio Channels
The MobiHoc S3 Student Workshop (Invited).
May, 2009
The Abstract MAC Layer
MIT Technical Report (2009-02-21)
2009
Interference-Resilient Information Exchange
Proceedings of the IEEE Conference on Computer Communications (INFOCOM)
April, 2009
On the weakest failure detector ever
Distributed Computing
(To Appear.)
Of Malicious Motes and Suspicious Sensors:
On the Efficiency of Malicious Interference in Wireless Networks
2008
Secure Communication Over Radio Channels
Proceedings of the ACM Symposium on the Principles of Distributed Computing (PODC)
August, 2008.
Consensus and Collision Detectors in Radio Networks
2007
Experimental evaluation of wireless simulation
assumptions
SIMULATION: Transactions of The Society for Modeling
and Simulation International, 83(9): 643--661
September, 2007.
Provably Secure Ciphertext Policy ABE
Proceedings of the 14th ACM Conference on
Computer and Communications Security (CCS),
October, 2007.
Gossiping in a Multi-Channel Radio Network:
An Oblivious Approach to Coping with Malicious Interference
Proceedings of the 21th International Symposium
on Distributed Computing (DISC),
September, 2007.
To download the paper: pdf format
On the weakest failure detector ever
Proceedings of the ACM Symposium on the Principles of Distributed Computing (PODC),
August, 2007.
To download the paper: pdf format
Provably Secure Ciphertext Policy ABE
ePrint Report 2007/183, Cryptology ePrint archive, 2007
To download the paper: ePrint
Collusion-Resistant Group Key Management Using Attribute-Based
Encryption.
Book of Abstracts from the 1st International Workshop on
Group-Oriented Cryptographic Protocols,
July, 2007.
To download the paper: pdf format
The Virtual Node Layer: A Programming Abstraction for Wireless Sensor Networks
Proceedings of the International Workshop on Sensor Network Architecture (WWSNA),
April, 2007.
To download the paper: pdf format
2006
Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks
Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS),
December, 2006.
To download the paper:
pdf format
The Virtual Node Infrastructure Approach to Programming Cyber-Physical Systems
NSF Workshop on Cyber-Physical Systems,
October 2006.
To download the paper:
pdf format
Consensus and Collision Detectors in Wireless Ad Hoc Networks
MIT Masters Thesis. Advisor: Nancy Lynch (Co-advisor: Gregory Chockler).
June 2006.
To download the paper:
ps format
Of Malicious Motes and Suspicious Sensors
MIT Technical Report,
April 2006.
To download the paper:
MIT TR Collection
Encrypted Keyword Search in a Distributed Storage System
MIT Technical Report,
February 2006.
To download the paper:
MIT TR Collection
2005
A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks
43rd Allerton Conference on Communication, Control, and Computing,
September, 2005 (Invited)
To download the paper:
pdf format
Consensus and Collision Detectors in Wireless Ad Hoc Networks
24th Annual Symposium on the Principles of Distributed Computing (PODC),
July, 2005
To download the paper:
pdf format
Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
International Workshop on Assurance in Distributed Systems and Networks (ADSN),
June, 2005
To download the paper:
pdf format
Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing Protocols
Simulation, Volume 81, Issue 4, Pages 307-323,
April 2005
2004
Experimental Evaluation of Wireless Simulation Assumptions
7th ACM international symposium on Modeling, analysis and
simulation of wireless and mobile systems,
October 2004.
To download the paper:
pdf format
Outdoor Experimental Comparison of Four Ad Hoc Routing Algorithms
th ACM international symposium on Modeling, analysis and
simulation of wireless and mobile systems,
October 2004. Finalist for Best Paper Award.
To download the paper:
pdf format
Simulation Validation using Direct Execution of Wireless Ad-Hoc Routing Protocols
Proceedings of the eighteenth workshop on Parallel and distributed simulation (PADS),
May 2004.
To download the paper:
pdf format
Outdoor Experimental Comparison of Four Ad Hoc Routing Algorithms
Dartmouth College Technical Report (TR2004-511),
2004.
To download the paper:
pdf format
Experimental Evaluation of Wireless Simulation Assumptions
Listed as "Recommended Reading" at the
Wireless Ad Hoc Networks Bibliography.
Dartmouth College Technical Report (TR2004-507),
2004.
To download the paper:
pdf format
Simulating mobile ad hoc networks:
a quantitative evaluation of common MANET simulation models
Senior Honors Thesis. Advisor David Kotz.
Dartmouth College Technical Report (TR2004-504),
2004.
To download the paper:
pdf format
2003
The Mistaken Axioms of Wireless-Network Research
Dartmouth College Technical Report (TR2003-467),
2003
To download the paper:
pdf format