Are Third-Party Libraries Secure? A Software Library Checker for Java. - Fabien Patrick Viertel; Fabian Kortum; Leif Wagner; Kurt Schneider (CRiSIS, 2018)