201 citations · 386 across the 19 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Astraea: Grammar-based Fairness Testing
Ezekiel Soremekun, Sakshi Udeshi, Sudipta Chattopadhyay
Software often produces biased outputs. In particular, machine learning (ML) based software are known to produce erroneous predictions when processing discriminatory inputs. Such u…
cs.SE2018
Symbolic Verification of Cache Side-channel Freedom
Sudipta Chattopadhyay, Abhik Roychoudhury
Cache timing attacks allow third-party observers to retrieve sensitive information from program executions. But, is it possible to automatically check the vulnerability of a progra…