| emsoft | participants

Abhik Roychoudhury

Program Committees:
2015 and 2020
.

EMSOFT 2018: 18th International Conference on Embedded Software

Symbolic Verification of Cache Side-Channel Freedom

Sudipta Chattopadhyay and Abhik Roychoudhury