@inproceedings{poyan2020mspscf,
  title     = {SCF-MSP : Static Detection of Side Channels in MSP430 Programs},
  author    = {Sepideh Pouyanrad, Sepideh and M{\"u}hlberg, Jan Tobias and
Joosen, Wouter},
  booktitle = {15th International Conference on Availability, Reliability and Security (ARES'20)},
  year      = {2020},
  publisher = {ACM}
}