Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu

Browse the full ISSTA paper archive.