Takamitsu Tahara Katsuhiko Gondow Seiya Ohsuga DRACULA: Detector of Data Races in Signals Handlers. 17-24 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.25 conf/apsec/2008 db/conf/apsec/apsec2008.html#TaharaGO08