@article{684, author = {{Walter, Felicitas and Li, Guixin and Meier, Cedrik and Zhang, Shuang and Zentgraf, Thomas}}, issn = {{1530-6984}}, journal = {{Nano Letters}}, number = {{5}}, pages = {{3171--3175}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Ultrathin Nonlinear Metasurface for Optical Image Encoding}}}, doi = {{10.1021/acs.nanolett.7b00676}}, volume = {{17}}, year = {{2017}}, } @phdthesis{685, author = {{Jakobs, Marie-Christine}}, publisher = {{Universität Paderborn}}, title = {{{On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}}}, doi = {{10.17619/UNIPB/1-104}}, year = {{2017}}, } @article{69, abstract = {{Today, software is traded worldwide on global markets, with apps being downloaded to smartphones within minutes or seconds. This poses, more than ever, the challenge of ensuring safety of software in the face of (1) unknown or untrusted software providers together with (2) resource-limited software consumers. The concept of Proof-Carrying Code (PCC), years ago suggested by Necula, provides one framework for securing the execution of untrusted code. PCC techniques attach safety proofs, constructed by software producers, to code. Based on the assumption that checking proofs is usually much simpler than constructing proofs, software consumers should thus be able to quickly check the safety of software. However, PCC techniques often suffer from the size of certificates (i.e., the attached proofs), making PCC techniques inefficient in practice.In this article, we introduce a new framework for the safe execution of untrusted code called Programs from Proofs (PfP). The basic assumption underlying the PfP technique is the fact that the structure of programs significantly influences the complexity of checking a specific safety property. Instead of attaching proofs to program code, the PfP technique transforms the program into an efficiently checkable form, thus guaranteeing quick safety checks for software consumers. For this transformation, the technique also uses a producer-side automatic proof of safety. More specifically, safety proving for the software producer proceeds via the construction of an abstract reachability graph (ARG) unfolding the control-flow automaton (CFA) up to the degree necessary for simple checking. To this end, we combine different sorts of software analysis: expensive analyses incrementally determining the degree of unfolding, and cheap analyses responsible for safety checking. Out of the abstract reachability graph we generate the new program. In its CFA structure, it is isomorphic to the graph and hence another, this time consumer-side, cheap analysis can quickly determine its safety.Like PCC, Programs from Proofs is a general framework instantiable with different sorts of (expensive and cheap) analysis. Here, we present the general framework and exemplify it by some concrete examples. We have implemented different instantiations on top of the configurable program analysis tool CPAchecker and report on experiments, in particular on comparisons with PCC techniques.}}, author = {{Jakobs, Marie-Christine and Wehrheim, Heike}}, journal = {{ACM Transactions on Programming Languages and Systems}}, number = {{2}}, pages = {{7:1--7:56}}, publisher = {{ACM}}, title = {{{Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}}}, doi = {{10.1145/3014427}}, year = {{2017}}, } @misc{695, author = {{Nowack, Joshua}}, publisher = {{Universität Paderborn}}, title = {{{On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen}}}, year = {{2017}}, } @misc{696, author = {{Wachowiak, Lennart}}, publisher = {{Universität Paderborn}}, title = {{{Das Mobile Server Problem in Netzwerken}}}, year = {{2017}}, } @misc{697, author = {{Burkhardt, Michel}}, publisher = {{Universität Paderborn}}, title = {{{Untersuchungen zum Cone-Hashing}}}, year = {{2017}}, } @book{16444, author = {{Gausemeier, Jürgen and Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}}, pages = {{369}}, title = {{{Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)}}}, year = {{2017}}, } @inbook{16461, author = {{Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören and Schaefer, Johannes Sebastian and Sundermeier, Jannik}}, booktitle = {{Structural Information and Communication Complexity}}, isbn = {{9783319720494}}, issn = {{0302-9743}}, title = {{{Monitoring of Domain-Related Problems in Distributed Data Streams}}}, doi = {{10.1007/978-3-319-72050-0_13}}, year = {{2017}}, } @book{1648, editor = {{Schmeisser, Wilhelm and Krimphove, Dieter and Zündorf, Horst and Toebe, Marc and Hannemann, Gerfried}}, pages = {{260}}, publisher = {{UTB}}, title = {{{Finanzierung und Investition}}}, year = {{2017}}, } @article{16540, author = {{Dellnitz, Michael and Klus, Stefan}}, issn = {{1468-9367}}, journal = {{Dynamical Systems}}, pages = {{61--79}}, title = {{{Sensing and control in symmetric networks}}}, doi = {{10.1080/14689367.2016.1215410}}, year = {{2017}}, } @article{16581, author = {{Dellnitz, Michael and Klus, Stefan and Ziessler, Adrian}}, issn = {{1536-0040}}, journal = {{SIAM Journal on Applied Dynamical Systems}}, pages = {{120--138}}, title = {{{A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty}}}, doi = {{10.1137/16m1072735}}, year = {{2017}}, } @article{16657, author = {{Peitz, Sebastian and Schäfer, Kai and Ober-Blöbaum, Sina and Eckstein, Julian and Köhler, Ulrich and Dellnitz, Michael}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, pages = {{8674--8679}}, title = {{{A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).}}}, doi = {{10.1016/j.ifacol.2017.08.1526}}, year = {{2017}}, } @inproceedings{16791, author = {{Dietrich, André and Nacke, Bernard and Pfeifer, Florian and Marten, Thorsten and Tröster, Thomas}}, location = {{Noordwijkerhout/Amsterdam}}, title = {{{Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating}}}, year = {{2017}}, } @inproceedings{16792, author = {{Dietrich, André and Nacke, Bernard and Pfeifer, Florian and Marten, Thorsten and Tröster, Thomas}}, location = {{Hannover}}, title = {{{Effects of Holes in Blanks for Press Hardening Process due to Induction Heating}}}, year = {{2017}}, } @article{1683, author = {{Krimphove, Dieter and Lüke, Christoph}}, journal = {{Finanzierung Leasing Factoring }}, number = {{Nr. 2}}, pages = {{82 ff.}}, title = {{{Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel}}}, year = {{2017}}, } @article{1684, author = {{Krimphove, Dieter and Michel, Julia}}, journal = {{Zeitschrift für Vertriebsrecht (ZVertriebsR)}}, pages = {{149 ff.}}, title = {{{Cookies zu Werbezwecken im Vertrieb}}}, year = {{2017}}, } @article{1685, author = {{Krimphove, Dieter}}, journal = {{Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR }}, pages = {{326 ff.}}, title = {{{Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo)}}}, year = {{2017}}, } @article{1686, author = {{Krimphove, Dieter}}, journal = {{Zeitschrift für Bank- und Kapitalmarktrecht BKR}}, number = {{Heft 9}}, pages = {{353 ff.}}, title = {{{Was ist Proportionalität?}}}, year = {{2017}}, } @article{1687, author = {{Krimphove, Dieter}}, journal = {{Neue Zeitschrift für Arbeitsrecht NZA }}, pages = {{1374 ff.}}, title = {{{Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit}}}, year = {{2017}}, } @article{1688, author = {{Krimphove, Dieter}}, journal = {{ArbR – Arbeitsrecht Aktuell }}, number = {{Heft 24}}, pages = {{583 ff.}}, title = {{{Clash of Regulations oder Der Kampf der Richtlinien}}}, year = {{2017}}, }