Shin'ichi Shiriashi

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Malware Detection

Mobile Platform

Top Venues

Publications

Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV (2015)