Arun Saha

Learn More
The topic of source code readability has paramount importance in software engineering. Literature exists on how to write readable code; how to create analytical models and automatically predict readability; and how readability influences software cost and eventually the economy. In this article we follow a different path; we explore the question of why and(More)
Localization protocols enable an entity (called the verifier) to determine the physical location of another entity (called the prover), even if the prover maliciously advertises a false location or tries to corrupt the verifier's time measurements by time-shifting its responses. Unfortunately, the correctness of such protocols is critically dependent on the(More)
Acknowledgments This dissertation would not have been possible without the support of several people. First and foremost, I would like to express my sincere thanks and gratitude to Professor Mart Molle. I am fortunate to work with a such an excellent research advisor like him. I am thankful for his empathy, continued support, motivation, guidance and(More)
  • 1