Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan

Browse the full ICSE paper archive.