@misc{15920, abstract = {{Secure hardware design is the most important aspect to be considered in addition to functional correctness. Achieving hardware security in today’s globalized Integrated Cir- cuit(IC) supply chain is a challenging task. One solution that is widely considered to help achieve secure hardware designs is Information Flow Tracking(IFT). It provides an ap- proach to verify that the systems adhere to security properties either by static verification during design phase or dynamic checking during runtime. Proof-Carrying Hardware(PCH) is an approach to verify a functional design prior to using it in hardware. It is a two-party verification approach, where the target party, the consumer requests new functionalities with pre-defined properties to the producer. In response, the producer designs the IP (Intellectual Property) cores with the requested functionalities that adhere to the consumer-defined properties. The producer provides the IP cores and a proof certificate combined into a proof-carrying bitstream to the consumer to verify it. If the verification is successful, the consumer can use the IP cores in his hardware. In essence, the consumer can only run verified IP cores. Correctly applied, PCH techniques can help consumers to defend against many unintentional modifications and malicious alterations of the modules they receive. There are numerous published examples of how to use PCH to detect any change in the functionality of a circuit, i.e., pairing a PCH approach with functional equivalence checking for combinational or sequential circuits. For non-functional properties, since opening new covert channels to leak secret information from secure circuits is a viable attack vector for hardware trojans, i.e., intentionally added malicious circuitry, IFT technique is employed to make sure that secret/untrusted information never reaches any unclassified/trusted outputs. This master thesis aims to explore the possibility of adapting Information Flow Tracking into a Proof-Carrying Hardware scenario. It aims to create a method that combines Infor- mation Flow Tracking(IFT) with a PCH approach at bitstream level enabling consumers to validate the trustworthiness of a module’s information flow without the computational costs of a complete flow analysis.}}, author = {{Keerthipati, Monica}}, publisher = {{Universität Paderborn}}, title = {{{A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking}}}, year = {{2019}}, } @inproceedings{15921, abstract = {{Ranking plays a central role in a large number of applications driven by RDF knowledge graphs. Over the last years, many popular RDF knowledge graphs have grown so large that rankings for the facts they contain cannot be computed directly using the currently common 64-bit platforms. In this paper, we tackle two problems: Computing ranks on such large knowledge bases efficiently and incrementally. First, we present D-HARE, a distributed approach for computing ranks on very large knowledge graphs. D-HARE assumes the random surfer model and relies on data partitioning to compute matrix multiplications and transpositions on disk for matrices of arbitrary size. Moreover, the data partitioning underlying D-HARE allows the execution of most of its steps in parallel. As very large knowledge graphs are often updated periodically, we tackle the incremental computation of ranks on large knowledge bases as a second problem. We address this problem by presenting I-HARE, an approximation technique for calculating the overall ranking scores of a knowledge without the need to recalculate the ranking from scratch at each new revision. We evaluate our approaches by calculating ranks on the 3 × 10^9 and 2.4 × 10^9 triples from Wikidata resp. LinkedGeoData. Our evaluation demonstrates that D-HARE is the first holistic approach for computing ranks on very large RDF knowledge graphs. In addition, our incremental approach achieves a root mean squared error of less than 10E−7 in the best case. Both D-HARE and I-HARE are open-source and are available at: https://github.com/dice-group/incrementalHARE. }}, author = {{Desouki, Abdelmoneim Amer and Röder, Michael and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Proceedings of the 30th ACM Conference on Hypertext and Social Media - HT '19}}, isbn = {{9781450368858}}, keywords = {{Knowledge Graphs, Ranking, RDF}}, pages = {{163--171}}, publisher = {{ACM}}, title = {{{Ranking on Very Large Knowledge Graphs}}}, doi = {{10.1145/3342220.3343660}}, year = {{2019}}, } @inproceedings{14568, author = {{Heindorf, Stefan and Scholten, Yan and Engels, Gregor and Potthast, Martin}}, booktitle = {{INFORMATIK}}, pages = {{289--290}}, title = {{{Debiasing Vandalism Detection Models at Wikidata (Extended Abstract)}}}, doi = {{10.18420/inf2019_48}}, year = {{2019}}, } @article{14817, author = {{Sommer, Christoph and Basagni, Stefano}}, issn = {{1570-8705}}, journal = {{Ad Hoc Networks}}, title = {{{Advances and novel applications of mobile wireless networking}}}, doi = {{10.1016/j.adhoc.2019.101975}}, year = {{2019}}, } @inproceedings{14819, author = {{Heinovski, Julian and Stratmann, Lukas and Buse, Dominik S. and Klingler, Florian and Franke, Mario and Oczko, Marie-Christin H. and Sommer, Christoph and Scharlau, Ingrid and Dressler, Falko}}, booktitle = {{2019 IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)}}, isbn = {{9781728102702}}, title = {{{Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective}}}, doi = {{10.1109/wowmom.2019.8793008}}, year = {{2019}}, } @proceedings{14829, editor = {{Scheideler, Christian and Berenbrink, Petra}}, isbn = {{978-1-4503-6184-2}}, publisher = {{ACM}}, title = {{{The 31st ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019}}}, doi = {{10.1145/3323165}}, year = {{2019}}, } @article{14830, author = {{Gmyr, Robert and Lefevre, Jonas and Scheideler, Christian}}, journal = {{Theory Comput. Syst.}}, number = {{2}}, pages = {{177--199}}, title = {{{Self-Stabilizing Metric Graphs}}}, doi = {{10.1007/s00224-017-9823-4}}, volume = {{63}}, year = {{2019}}, } @misc{14831, author = {{Sabu, Nithin S.}}, publisher = {{Paderborn University}}, title = {{{FPGA Acceleration of String Search Techniques in Huge Data Sets}}}, year = {{2019}}, } @phdthesis{14849, author = {{Vaz, Gavin Francis}}, publisher = {{Universität Paderborn}}, title = {{{Using Just-in-Time Code Generation to Transparently Accelerate Applications in Heterogeneous Systems}}}, year = {{2019}}, } @phdthesis{14851, author = {{Mäcker, Alexander}}, title = {{{On Scheduling with Setup Times}}}, doi = {{10.17619/UNIPB/1-828}}, year = {{2019}}, } @article{14896, author = {{Dann, Andreas and Hermann, Ben and Bodden, Eric}}, issn = {{0098-5589}}, journal = {{IEEE Transactions on Software Engineering}}, pages = {{1--1}}, title = {{{ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}}}, doi = {{10.1109/tse.2019.2931331}}, year = {{2019}}, } @inproceedings{14897, author = {{Dann, Andreas and Hermann, Ben and Bodden, Eric}}, booktitle = {{Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019}}, isbn = {{9781450367202}}, title = {{{SootDiff: bytecode comparison across different Java compilers}}}, doi = {{10.1145/3315568.3329966}}, year = {{2019}}, } @inproceedings{14899, author = {{Kruger, Stefan and Hermann, Ben}}, booktitle = {{2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)}}, isbn = {{9781728122458}}, title = {{{Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts}}}, doi = {{10.1109/ge.2019.00012}}, year = {{2019}}, } @article{15001, author = {{Couso, Ines and Borgelt, Christian and Hüllermeier, Eyke and Kruse, Rudolf}}, issn = {{1556-603X}}, journal = {{IEEE Computational Intelligence Magazine}}, pages = {{31--44}}, title = {{{Fuzzy Sets in Data Analysis: From Statistical Foundations to Machine Learning}}}, doi = {{10.1109/mci.2018.2881642}}, year = {{2019}}, } @article{15002, abstract = {{Many problem settings in machine learning are concerned with the simultaneous prediction of multiple target variables of diverse type. Amongst others, such problem settings arise in multivariate regression, multi-label classification, multi-task learning, dyadic prediction, zero-shot learning, network inference, and matrix completion. These subfields of machine learning are typically studied in isolation, without highlighting or exploring important relationships. In this paper, we present a unifying view on what we call multi-target prediction (MTP) problems and methods. First, we formally discuss commonalities and differences between existing MTP problems. To this end, we introduce a general framework that covers the above subfields as special cases. As a second contribution, we provide a structured overview of MTP methods. This is accomplished by identifying a number of key properties, which distinguish such methods and determine their suitability for different types of problems. Finally, we also discuss a few challenges for future research.}}, author = {{Waegeman, Willem and Dembczynski, Krzysztof and Hüllermeier, Eyke}}, issn = {{1573-756X}}, journal = {{Data Mining and Knowledge Discovery}}, number = {{2}}, pages = {{293--324}}, title = {{{Multi-target prediction: a unifying view on problems and methods}}}, doi = {{10.1007/s10618-018-0595-5}}, volume = {{33}}, year = {{2019}}, } @inproceedings{15003, author = {{Mortier, Thomas and Wydmuch, Marek and Dembczynski, Krzysztof and Hüllermeier, Eyke and Waegeman, Willem}}, booktitle = {{Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019}}, title = {{{Set-Valued Prediction in Multi-Class Classification}}}, year = {{2019}}, } @inbook{15004, author = {{Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}}, booktitle = {{Discovery Science}}, isbn = {{9783030337773}}, issn = {{0302-9743}}, title = {{{Feature Selection for Analogy-Based Learning to Rank}}}, doi = {{10.1007/978-3-030-33778-0_22}}, year = {{2019}}, } @inbook{15005, author = {{Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}}, booktitle = {{KI 2019: Advances in Artificial Intelligence}}, isbn = {{9783030301781}}, issn = {{0302-9743}}, title = {{{Analogy-Based Preference Learning with Kernels}}}, doi = {{10.1007/978-3-030-30179-8_3}}, year = {{2019}}, } @inbook{15006, author = {{Nguyen, Vu-Linh and Destercke, Sébastien and Hüllermeier, Eyke}}, booktitle = {{Discovery Science}}, isbn = {{9783030337773}}, issn = {{0302-9743}}, title = {{{Epistemic Uncertainty Sampling}}}, doi = {{10.1007/978-3-030-33778-0_7}}, year = {{2019}}, } @inproceedings{15007, author = {{Melnikov, Vitaly and Hüllermeier, Eyke}}, booktitle = {{Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101)}}, title = {{{Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA}}}, doi = {{10.1016/j.jmva.2019.02.017}}, year = {{2019}}, }