Learn More
In this paper, we give an overview of the BitBlaze project, a new approach to computer security via binary analysis. In particular, BitBlaze focuses on building a unified binary analysis platform and using it to provide novel solutions to a broad spectrum of different security problems. The binary analysis platform is designed to enable accurate analysis,(More)
Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program correctness, automatic test case generation, and proof carrying code. One might imagine VC applications would use the theoretically most appealing VC generation algorithm. This is often not the case. The most theoretically(More)
The time-domain TLM method is used in conjunction with a 2D drift-diffusion technique to analyze electromagnetically the performance of traveling wave photodetectors as optical heterodyne receivers at 1.55 /spl mu/m. Photodetectors with absorbing regions consisting of single and multiple quantum well layers are investigated. The obtained results are in good(More)
  • 1