Loading…
Coverage-Based Greybox Fuzzing as Markov Chain
Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Published in IEEE transactions on software engineering (01.05.2019)
Published in IEEE transactions on software engineering (01.05.2019)
Get full text
Journal Article
Loading…
PGA: a software package for rapid, accurate, and flexible batch annotation of plastomes
Qu, Xiao-Jian, Moore, Michael J., Li, De-Zhu, Yi, Ting-Shuang
Published in Plant methods (21.05.2019)
Published in Plant methods (21.05.2019)
Get full text
Journal Article
Loading…
Loading…
Loading…
SM-DTW: Stability Modulated Dynamic Time Warping for signature verification
Parziale, Antonio, Diaz, Moises, Ferrer, Miguel A., Marcelli, Angelo
Published in Pattern recognition letters (15.04.2019)
Published in Pattern recognition letters (15.04.2019)
Get full text
Journal Article
Loading…
Design and Implementation of a Novel Subject-Specific Neurofeedback Evaluation and Treatment System
Issachar, Gil, Bar-Shalita, Tami, Baruch, Yair, Horing, Bar, Portnoy, Sigal
Published in Annals of biomedical engineering (01.05.2019)
Published in Annals of biomedical engineering (01.05.2019)
Get full text
Journal Article
Loading…
Privacy-preserving PLDA speaker verification using outsourced secure computation
Treiber, Amos, Nautsch, Andreas, Kolberg, Jascha, Schneider, Thomas, Busch, Christoph
Published in Speech communication (01.11.2019)
Published in Speech communication (01.11.2019)
Get full text
Journal Article
Loading…
Loading…
Application of 3D models of palatal rugae to personal identification: hints at identification from 3D-3D superimposition techniques
Gibelli, Daniele, De Angelis, Danilo, Pucciarelli, Valentina, Riboli, Francesco, Ferrario, Virgilio F., Dolci, Claudia, Sforza, Chiarella, Cattaneo, Cristina
Published in International journal of legal medicine (01.07.2018)
Published in International journal of legal medicine (01.07.2018)
Get full text
Journal Article
Loading…
Loading…
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Nguyen, Tai D., Pham, Long H., Sun, Jun
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2021)
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2021)
Get full text
Conference Proceeding
Loading…
Formal Verification of Software Countermeasures against Side-Channel Attacks
Eldib, Hassan, Wang, Chao, Schaumont, Patrick
Published in ACM transactions on software engineering and methodology (01.12.2014)
Published in ACM transactions on software engineering and methodology (01.12.2014)
Get full text
Journal Article
Loading…
Loading…
The Ensemble Verification System (EVS): A software tool for verifying ensemble forecasts of hydrometeorological and hydrologic variables at discrete locations
Brown, James D., Demargne, Julie, Seo, Dong-Jun, Liu, Yuqiong
Published in Environmental modelling & software : with environment data news (01.07.2010)
Published in Environmental modelling & software : with environment data news (01.07.2010)
Get full text
Journal Article
Loading…
Loading…
Loading…
A feature-based classification of formal verification techniques for software models
Gabmeyer, Sebastian, Kaufmann, Petra, Seidl, Martina, Gogolla, Martin, Kappel, Gerti
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Loading…
Loading…
Speed-Invariant Gait Recognition Using Single-Support Gait Energy Image
Xu, Chi, Makihara, Yasushi, Li, Xiang, Yagi, Yasushi, Lu, Jianfeng
Published in Multimedia tools and applications (01.09.2019)
Published in Multimedia tools and applications (01.09.2019)
Get full text
Journal Article