Number of items: 380.
Conference or Workshop Item (A Paper)
Abujabal, Abdalghani and Roy, Rishiraj Saha and Yahya, Mohamed and Weikum, Gerhard
(2017)
QUINT: Interpretable Question Answering over Knowledge Bases.
Abujabal, Abdalghani and Yahya, Mohamed and Riedewald, Mirek and Weikum, Gerhard
(2017)
Automated Template Generation for Question Answering over Knowledge Graphs.
Acar, Yasemin and Backes, Michael and Fahl, Sascha and Garfinkel, Simson and Kim, Doowon and Mazurek, Michelle and Stransky, Christian
(2017)
Comparing the Usability of Cryptographic APIs.
Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Weir, Charles and Mazurek, Michelle L. and Fahl, Sascha
(2017)
Developers Need Support, Too: A Survey of Security Advice for Software Developers.
Acer, Mustafa Emre and Stark, Emily and Felt, Adrienne Porter and Fahl, Sascha and Bhargava, Radhika and Dev, Bhanu and Braithwaite, Matt and Sleevi, Ryan and Tabriz, Parisa
(2017)
Where the Wild Warnings Are: Root Causes of Chrome HTTPS Certificate Errors.
Adolf, Florian-Michael and Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torens, Christoph
(2017)
Stream Runtime Monitoring on UAS.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017)
Synthesis of Problems for Shaded Area Geometry Reasoning.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017)
Synthesis of Solutions for Shaded Area Geometry Problems.
Antonioli, Daniele and Ghaeini, Hamid Reza and Adepu, Sridhar and Ochoa, Martín and Tippenhauer, Nils Ole
(2017)
Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3.
Antonioli, Daniele and Siby, Sandra and Tippenhauer, Nils Ole
(2017)
Practical Evaluation of Passive COTS Eavesdropping in 802.11b/n/ac WLAN.
Apon, Daniel and D\"ttling, Nico and Garg, Sanjam and Mukherjee, Pratyay
(2017)
Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
Apon, Daniel and Döttling, Nico and Garg, Sanjam and Mukherjee, Pratyay
(2017)
Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
Avdiienko, Vitalii and Kuznetsov, Konstantin and Rommelfanger, Isabelle and Rau, Andreas and Gorla, Alessandra and Zeller, Andreas
(2017)
Detecting behavior anomalies in graphical user interfaces.
Backenköhler, Michael and Wolf, Verena
(2017)
Student Performance Prediction and Optimal Course Selection: An MDP Approach.
Backes, Michael and Berrang, Pascal and Bieg, Matthias and Elis, Roland and Herrmann, Carl and Humbert, Mathias and Lehmann, Irina
(2017)
Identifying Personal DNA Methylation Profiles by Genotype Inference.
Backes, Michael and Bugiel, Sven and Schranz, Oliver and Styp-Rekowsky, Philipp von and Weisgerber, Sebastian
(2017)
ARTist: The Android Runtime Instrumentation and Security Toolkit.
Backes, Michael and Bugiel, Sven and von Styp-Rekowsky, Philipp and Wißfeld, Marvin
(2017)
Seamless In-App Ad Blocking on Stock Android.
Backes, Michael and Dreier, Jannik and Kremer, Steve and Künnemann, Robert
(2017)
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange.
Backes, Michael and Gomez-Rodriguez, Manuel and Manoharan, Praveen and Surma, Bartlomiej
(2017)
Reconciling Privacy and Utility in Continuous-Time Diffusion Networks.
Backes, Michael and Humbert, Mathias and Pang, Jun and Zhang, Yang
(2017)
walk2friends: Inferring Social Links from Mobility Profiles.
Backes, Michael and Nauman, Mohammad
(2017)
LUNA: Quantifying and Leveraging Uncertainty in Android Malware Analysis through Bayesian Machine Learning.
Backes, Michael and Rieck, Konrad and Skoruppa, Malte and Stock, Ben and Yamaguchi, Fabian
(2017)
Efficient and Flexible Discovery of PHP Application Vulnerabilities.
Bei, Xiaohui and Garg, Jugal and Hoefer, Martin and Mehlhorn, Kurt
(2017)
Earning Limits in Fisher Markets with Spending-Constraint Utilities.
Bertens, Roel and Vreeken, Jilles and Siebes, Arno
(2017)
Efficiently Discovering Unexpected Pattern Co-Occurrences.
Beverungen, Daniel and Lüttenberg, Hedda and Wolf, Verena
(2017)
Recombinant Service System Engineering.
Bhattacharyya, Apratim and Vreeken, Jilles
(2017)
Efficiently Summarising Event Sequences with Rich Interleaving Patterns.
Bichhawat, Abhishek and Rajani, Vineet and Jain, Jinank and Garg, Deepak and Hammer, Christian
(2017)
WebPol: Fine-Grained Information Flow Policies for Web Browsers.
Biega, Asia J. and Ghazimatin, Azin and Ferhatosmanoglu, Hakan and Gummadi, Krishna P. and Weikum, Gerhard
(2017)
Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities.
Biega, Joanna Asia and Roy, Rishiraj Saha and Weikum, Gerhard
(2017)
Privacy through Solidarity: A User-Utility-Preserving Framework to Counter Profiling.
Blaß, Tobias and Hahn, Sebastian and Reineke, Jan
(2017)
Write-Back Caches in WCET Analysis.
Blond, Stevens Le and Gilbert, Cedric and Upadhyay, Utkarsh and Gomez-Rodriguez, Manuel and Choffnes, David
(2017)
A Broad View of the Ecosystem of Socially Engineered Exploit Documents.
Bohli, Jens-Matthias and Dietrich, Aljoscha and Petrlic, Ronald and Sorge, Christoph
(2017)
A Comparison of Payment Schemes for the IoT.
Boldyrev, Natalia and Spaniol, Marc and Strötgen, Jannik and Weikum, Gerhard
(2017)
SESAME: European Statistics Explored via Semantic Alignment onto Wikipedia.
Broadnax, Brandon and Döttling, Nico and Hartung, Gunnar and Müller-Quade, Jörn and Nagel, Matthias
(2017)
Concurrently Composable Security with Shielded Super-Polynomial Simulators.
Broadnax, Brandon and and Gunnar Hartung and J\"rn M\"ller-Quade, Nico D\"ttling and Nagel, Matthias
(2017)
Concurrently Composable Security with Shielded Super-Polynomial Simulators.
Budhathoki, Kailash and Vreeken, Jilles
(2017)
Correlation by Compression.
Budhathoki, Kailash and Vreeken, Jilles
(2017)
MDL for Causal Inference on Discrete Data.
Böhme, Marcel and Soremekun, Ezekiel and Chattopadhyay, Sudipta and Ugherughe, Emamurho and Zeller, Andreas
(2017)
How Developers Debug Software- The DBGBENCH Dataset.
Böhme, Marcel and Soremekun, Ezekiel and Chattopadhyay, Sudipta and Ugherughe, Emamurho and Zeller, Andreas
(2017)
Where is the Bug and How is It Fixed? An Experiment with Practitioners.
Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017)
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
Canones, Pablo and Köpf, Boris and Reineke, Jan
(2017)
Security Analysis of Cache Replacement Policies.
Castellanos, John Henry and Antonioli, Daniele and Tippenhauer, Nils Ole and Ochoa, Martín
(2017)
Legacy-Compliant Data Authentication for Industrial Control System Traffic.
Chakraborty, Abhijnan and Ghosh, Saptarshi and Ganguly, Niloy and Gummadi, Krishna P.
(2017)
Optimizing the Recency-Relevancy Trade-off in Online News Recommendations.
Chakraborty, Abhijnan and Messias, Johnnatan and Benevenuto, Fabrício and Ghosh, Saptarshi and Ganguly, Niloy and Gummadi, Krishna P.
(2017)
Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations.
Chakraborty, Soham and Vafeiadis, Viktor
(2017)
Formalizing the concurrency semantics of an LLVM fragment.
Chattopadhyay, Sudipta and Beck, Moritz and Rezine, Ahmed and Zeller, Andreas
(2017)
Quantifying the information leak in cache attacks via symbolic execution.
Cheng, Sheng-Wei and Chen, Jian-Jia and Reineke, Jan and Kuo, Tei-Wei
(2017)
Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System.
Cho, Chongwon and D\"ttling, Nico and Garg, Sanjam and Gupta, Divya and Miao, Peihan and Polychroniadou, Antigoni
(2017)
Laconic Oblivious Transfer and Its Applications.
Cho, Chongwon and Döttling, Nico and Garg, Sanjam and Gupta, Divya and Miao, Peihan and Polychroniadou, Antigoni
(2017)
Laconic Oblivious Transfer and Its Applications.
Chu, Cuong Xuan and Tandon, Niket and Weikum, Gerhard
(2017)
Distilling Task Knowledge from How-To Communities.
Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Stebila, Douglas
(2017)
A Formal Security Analysis of the Signal Messaging Protocol.
Conchon, Sylvain and Goel, Amit and Krstic, Sava and Majumdar, Rupak and Roux, Mattias
(2017)
FAR-Cubicle - A new reachability algorithm for Cubicle.
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties.
Cramer, Ronald and and Nico D\"ttling, Ivan Damgård and Giacomelli, Irene and Xing, Chaoping
(2017)
Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model.
Cramer, Ronald and and Nico Döttling, Ivan Damgård and Giacomelli, Irene and Xing, Chaoping
(2017)
Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model.
Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2017)
Secure Authentication in the Grid:
A Formal Analysis of DNP3: SAv5.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
D\"ttling, Nico and Garg, Sanjam
(2017)
From Selective IBE to Full IBE and Selective HIBE.
D\"ttling, Nico and Garg, Sanjam
(2017)
Identity-Based Encryption from the Diffie-Hellman Assumption.
D\"ttling, Nico and Ghosh, Satrajit and Nielsen, Jesper Buus and Nilges, Tobias and Trifiletti, Roberto
(2017)
TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation.
Daiber, Florian and Kosmalla, Felix and Wiehr, Frederik and Krüger, Antonio
(2017)
Follow the pioneers: towards personalized crowd-sourced route generation for mountaineers.
Daiber, Florian and Kosmalla, Felix and Wiehr, Frederik and Krüger, Antonio
(2017)
FootStriker: A Wearable EMS-based Foot Strike Assistant for Running.
Derr, Erik and Bugiel, Sven and Fahl, Sascha and Acar, Yasemin and Backes, Michael
(2017)
Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android.
Devriese, Dominique and Patrignani, Marco and Piessens, Frank
(2017)
Parametricity Versus the Universal Type.
Dietrich, Aljoscha and Krüger, Jochen and Potel, Karin
(2017)
Wearables im Zugriff der Strafjustiz.
Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017)
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
Doerfert, Johannes and Grosser, Tobias and Hack, Sebastian
(2017)
Optimistic loop optimization.
Doko, Marko and Vafeiadis, Viktor
(2017)
Tackling Real-Life Relaxed Concurrency with FSL++.
Döttling, Nico and Garg, Sanjam
(2017)
From Selective IBE to Full IBE and Selective HIBE.
Döttling, Nico and Garg, Sanjam
(2017)
Identity-Based Encryption from the Diffie-Hellman Assumption.
Döttling, Nico and Ghosh, Satrajit and Nielsen, Jesper Buus and Nilges, Tobias and Trifiletti, Roberto
(2017)
TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
Eslami, Sedigheh and Biega, Asia J. and Roy, Rishiraj Saha and Weikum, Gerhard
(2017)
Privacy of Hidden Profiles: Utility-Preserving Profile Removal in Online Forums.
Farahani, Samira S. and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017)
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
Faymonville, Peter and Finkbeiner, Bernd and Rabe, Markus N. and Tentrup, Leander
(2017)
Encodings of Bounded Synthesis.
Faymonville, Peter and Finkbeiner, Bernd and Tentrup, Leander
(2017)
BoSy: An Experimentation Framework for Bounded Synthesis.
Fickert, Maximilian and Hoffmann, Jörg
(2017)
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement.
Fickert, Maximilian and Hoffmann, Jörg
(2017)
Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning.
Finkbeiner, Bernd and Gieseking, Manuel and and Ernst-Rüdiger Olderog, Jesko Hecking-Harbusch
(2017)
Symbolic vs. Bounded Synthesis for Petri Games.
Finkbeiner, Bernd and Gölz, Paul
(2017)
Synthesis in Distributed Environments.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin
(2017)
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2017)
Monitoring Hyperproperties.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2017)
Vehicle Platooning Simulations with Functional Reactive Programming.
Finkbeiner, Bernd and Kupriyanov, Andrey
(2017)
Causality-based Model Checking.
Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017)
Verifying Security Policies in Multi-agent Workflows with Loops.
Finkbeiner, Bernd and Torfah, Hazem
(2017)
The Density of Linear-Time Properties.
Finkbeiner, Bernd and Zimmermann, Martin
(2017)
The First-Order Logic of Hyperproperties.
Fischer, Felix and Böttinger, Konstantin and Xiao, Huang and Stransky, Christian and Acar, Yasemin and Backes, Michael and Fahl, Sascha
(2017)
Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security.
Fischer, Jeffrey and Majumdar, Rupak
(2017)
Programming by Composing Filters.
Francis, Paul and Eide, Sebastian Probst and Munz, Reinhard
(2017)
Diffix: High-Utility Database Anonymization.
Frenkel, Hadar and Grumberg, Orna and Sheinvald, Sarai
(2017)
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
Gambi, Alessio and Gorla, Alessandra and Zeller, Andreas
(2017)
O!Snap: Cost-Efficient Testing in the Cloud.
Gambi, Alessio and Kappler, Sebastian and Lampel, Johannes and Zeller, Andreas
(2017)
CUT: automatic unit testing in the cloud.
Gambi, Alessio and Mayr-Dorn, Christoph and Zeller, Andreas
(2017)
Model-based testing of end-user collaboration intensive systems.
Garg, Deepak and Hriţcu, Cătălin and Patrignani, Marco and Stronati, Marco and Swasey, David
(2017)
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
Georgoulis, Stamatios and Rematas, Konstantinos and Ritschel, Tobias and Fritz, Mario and Tuytelaars, Tinne and Gool, Luc Van
(2017)
What is Around the Camera?
Gnad, Daniel and Poser, Valerie and Hoffmann, Jörg
(2017)
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.
Gnad, Daniel and Torralba, Àlvaro and Hoffmann, Jörg
(2017)
Symbolic Leaf Representation in Decoupled Search.
Gnad, Daniel and Torralba, Àlvaro and Shleyfman, Alexander and Hoffmann, Jörg
(2017)
Symmetry Breaking in Star-Topology Decoupled Search.
Govil, Naman and Agrawal, Anand and Tippenhauer, Nils Ole
(2017)
On Ladder Logic Bombs in Industrial Control Systems.
Grosse, Kathrin and Papernot, Nicolas and Manoharan, Praveen and Backes, Michael and McDaniel, Patrick
(2017)
Adversarial Examples for Malware Detection.
Grosse, Kathrin and Vreeken, Jilles
(2017)
Summarising Event Sequences using Serial Episodes and an Ontology.
Guarnizo, Juan and Tambe, Amit and Bunia, Suman Sankar and Ochoa, Martín and Tippenhauer, Nils Ole and Shabtai, Asaf and Elovici, Yuval
(2017)
SIPHON: Towards Scalable High-Interaction Physical Honeypots.
Guimarães, Anna and Wang, Liqiang and Weikum, Gerhard
(2017)
Us and Them: Adversarial Politics on Twitter.
Gujarati, Arpan and Elnikety, Sameh and He, Yuxiong and McKinley, Kathryn S. and Brandenburg, Björn B.
(2017)
Swayam: distributed autoscaling to meet SLAs of machine learning inference services with resource efficiency.
Gujarati, Arpan and Nasri, Mitra and Brandenburg, Björn B.
(2017)
Quantifying the Resiliency of Replicated Networked Control Systems to Transient Faults.
Haidl, Michael and Moll, Simon and Klein, Lars and Sun, Huihui and Hack, Sebastian and Gorlatch, Sergei
(2017)
PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.
Havrikov, Nikolas
(2017)
Efficient fuzz testing leveraging input, code, and execution.
Havrikov, Nikolas and Gambi, Alessio and Zeller, Andreas and Arcuri, Andrea and Galeotti, Juan Pablo
(2017)
Generating Unit Tests with Structured System Interactions.
He, Yang and Chiu, Wei-Chen and Keuper, Margret and Fritz, Mario
(2017)
STD2P: RGBD Semantic Segmentation Using Spatio-Temporal Data-Driven Pooling.
He, Yang and Keuper, Margret and Schiele, Bernt and Fritz, Mario
(2017)
Learning Dilation Factors for Semantic Segmentation of Street Scenes.
Hein, Matthias and Andriushchenko, Maksym
(2017)
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation.
Hinrichs, Frauke and Vreeken, Jilles
(2017)
Characterising the Difference and the Norm between Sequence Databases.
Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas
(2017)
Thread modularity at many levels: a pearl in compositional verification.
Hosang, Jan and Benenson, Rodrigo and Schiele, Bernt
(2017)
Learning Non-maximum Suppression.
Hotzkow, Jenny
(2017)
Automatically Inferring and Enforcing User Expectations.
Huang, Jie and Schranz, Oliver and Bugiel, Sven and Backes, Michael
(2017)
The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android.
Höschele, Matthias and Zeller, Andreas
(2017)
Mining input grammars with AUTOGRAM.
Insafutdinov, Eldar and Andriluka, Mykhaylo and Pishchulin, Leonid and Tang, Siyu and Levinkov, Evgeny and Andres, Bjoern and Schiele, Bernt
(2017)
ArtTrack: Articulated Multi-Person Tracking in the Wild.
Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and Brenguier, Romain and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Michaud, Thibaud and Perez, Guillermo A. and Raskin, Jean-Francois and Sankur, Ocan and Tentrup, Leander
(2017)
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Jamrozik, Konrad and Zeller, Andreas
(2017)
Mining Sandboxes for Security - Automatisches Sandboxing für Software-Sicherheit.
Jankowiak, Martin and Gomez-Rodriguez, Manuel
(2017)
Uncovering the Spatiotemporal Patterns of Collective Social Activity.
Jonker, Mattijs and King, Alistair and Krupp, Johannes and Rossow, Christian and Sperotto, Anna and Dainotti, Alberto
(2017)
Millions of Targets Under Attack: A Macroscopic Characterization of the DoS Ecosystem.
Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori and Vafeiadis, Viktor
(2017)
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.
Kalofolias, Janis and Boley, Mario and Vreeken, Jilles
(2017)
Efficiently Discovering Locally Exceptional yet Globally Representative Subgroups.
Kampmann, Alexander
(2017)
Local Analysis for Global Inputs.
Kang, Jeehoon and Hur, Chung-Kil and Lahav, Ori and Vafeiadis, Viktor and Dreyer, Derek
(2017)
A promising semantics for relaxed-memory concurrency.
Karessli, Nour and Akata, Zeynep and Schiele, Bernt and Bulling, Andreas
(2017)
Gaze Embeddings for Zero-Shot Image Classification.
Kerber, Frederic and Kiefer, Tobias and Löchtefeld, Markus and Krüger, Antonio
(2017)
Investigating current techniques for opposite-hand smartwatch interaction.
Kerber, Frederic and Puhl, Michael and Krüger, Antonio
(2017)
User-independent real-time hand gesture recognition based on surface electromyography.
Khoreva, Anna and Benenson, Rodrigo and Hosang, Jan Hendrik and Hein, Matthias and Schiele, Bernt
(2017)
Simple Does It: Weakly Supervised Instance and Semantic Segmentation.
Kloos, Johannes and Majumdar, Rupak and McCabe, Frank
(2017)
Deferrability Analysis for JavaScript.
Kosmalla, Felix and Daiber, Florian and Wiehr, Frederik and Krüger, Antonio
(2017)
ClimbVis: Investigating In-situ Visualizations for Understanding Climbing Movements by Demonstration.
Kosmalla, Felix and Murlowski, Christian and Daiber, Florian and Wiehr, Frederik and Krüger, Antonio
(2017)
Slackliner: an interactive assistant for slackline training.
Kosmalla, Felix and Zenner, André and Speicher, Marco and Daiber, Florian and Herbig, Nico and Krüger, Antonio
(2017)
Exploring Rock Climbing in Mixed Reality Environments.
Krebbers, Robbert and Jung, Ralf and Bizjak, Ales and Jourdan, Jacques-Henri and Dreyer, Derek and Birkedal, Lars
(2017)
The Essence of Higher-Order Concurrent Separation Logic.
Krombholz, Katharina and Dabrowski, Adrian and Smith, Matthew and Weippl, Edgar
(2017)
Exploring Design Directions for Wearable Privacy.
Krombholz, Katharina and Mayer, Wilfried and Schmiedecker, Martin and Weippl, Edgar
(2017)
"I Have No Idea What I'm Doing" - On the Usability of Deploying HTTPS.
Krupp, Johannes and Karami, Mohammad and Rossow, Christian and McCoy, Damon and Backes, Michael
(2017)
Linking Amplification DDoS Attacks to Booter Services.
Krüger, Frederik and Vogelgesang, Stephanie
(2017)
Richterliche Unabhängigkeit und Bring Your Own Device (BYOD) – Weg in die Zukunft oder unvertretbares Sicherheitsrisiko?
Krüger, Jochen and Möllers, Frederik and Vogelgesang, Stephanie
(2017)
Richterliche Unabhängigkeit und Bring Your Own Device (BYOD) – Weg in die Zukunft oder unvertretbares Sicherheitsrisiko?
Krüger, Jochen and Vogelgesang, Stephanie and Weller, Michael
(2017)
Datenschutz für Minderjährige nach der Europäischen Datenschutz-Grundverordnung (DSGVO) vom 27. April 2016.
Kulshrestha, Juhi and Eslami, Motahhare and Messias, Johnnatan and Zafar, Muhammad Bilal and Ghosh, Saptarshi and Gummadi, Krishna P. and Karahalios, Karrie
(2017)
Quantifying Search Bias: Investigating Sources of Bias for Political Searches in Social Media.
Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017)
Repairing sequential consistency in C/C++11.
Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017)
Repairing sequential consistency in C/C++11.
Lai, Russell W. F. and Egger, Christoph and Schröder, Dominique and Chow, Sherman S. M.
(2017)
Phoenix: Rebirth of a Cryptographic Password-Hardening Service.
Lander, Christian and Gehring, Sven and Löchtefeld, Markus and Bulling, Andreas and Krüger, Antonio
(2017)
Eyemirror: mobile calibration-free gaze approximation using corneal imaging.
Lander, Christian and Wiehr, Frederik and Herbig, Nico and Krüger, Antonio and Löchtefeld, Markus
(2017)
Inferring Landmarks for Pedestrian Navigation from Mobile Eye-Tracking Data and Google Street View.
Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017)
Compositional abstractions of interconnected discrete-time stochastic control systems.
Lee, Edward A. and Reineke, Jan and Zimmer, Michael
(2017)
Abstract PRET Machines.
Leibenger, Dominik and Ory, Stephan and Sorge, Christoph
(2017)
Mail vom Rechtsanwalt? Herausforderungen sicherer Mandantenkommunikation.
Leibenger, Dominik and Sorge, Christoph
(2017)
sec-cs: Secure and Efficient Storage of Flat Contents on Untrusted Storage.
Leibenger, Dominik and Sorge, Christoph
(2017)
triviback: A Storage-Efficient Secure Backup System.
Lengál, Ondrej and Lin, Anthony Widjaja and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems.
Lessel, Pascal and Altmeyer, Maximilian and Müller, Marc and Wolff, Christian and Krüger, Antonio
(2017)
Measuring the effect of "bottom-up" gamification in a microtask setting.
Lessel, Pascal and Mauderer, Michael and Wolff, Christian and Krüger, Antonio
(2017)
Let's Play My Way: Investigating Audience Influence in User-Generated Gaming Live-Streams.
Lessel, Pascal and Vielhauer, Alexander and Krüger, Antonio
(2017)
CrowdChess: A System to Investigate Shared Game Control in Live-Streams.
Lessel, Pascal and Vielhauer, Alexander and Krüger, Antonio
(2017)
Expanding Video Game Live-Streams with Enhanced Communication Channels: A Case Study.
Li, Wenbin and Leonardis, Ales and Fritz, Mario
(2017)
Visual stability prediction for robotic manipulation.
Lu, Kangjie and Walter, Marie-Therese and Pfaff, David and Nürnberger, Stefan and Lee, Wenke and Backes, Michael
(2017)
Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying.
Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2017)
Maliciously Secure Multi-Client ORAM.
Maisuradze, Giorgi and Backes, Michael and Rossow, Christian
(2017)
Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code.
Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo
(2017)
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan
(2017)
Concurrency and Privacy with Payment-Channel Networks.
Malavolta, Giulio and Schröder, Dominique
(2017)
Efficient Ring Signatures in the Standard Model.
Mandros, Panagiotis and Boley, Mario and Vreeken, Jilles
(2017)
Discovering Reliable Approximate Functional Dependencies.
Marnau, Ninja
(2017)
Die Blockchain im Spannungsfeld der Grundsätze der Datenschutzgrundverordnung.
Marx, Alexander and Vreeken, Jilles
(2017)
Telling Cause from Effect by MDL-based Local and Global Regression.
Mathis, Björn
(2017)
Dynamic Tainting for Automatic Test Case Generation.
Mathis, Björn and Avdiienko, Vitalii and Soremekun, Ezekiel and Böhme, Marcel and Zeller, Andreas
(2017)
Detecting Information Flow by Mutating Input Data.
Mavroforakis, Charalampos and Valera, Isabel and Gomez-Rodriguez, Manuel
(2017)
Modeling the Dynamics of Learning Activity on the Web.
Mehta, Aastha and Elnikety, Eslam and Harvey, Katura and Garg, Deepak and Druschel, Peter
(2017)
Qapla: Policy compliance for database-backed systems.
Meidan, Yair and Bohadana, Michael and Shabtai, Asaf and Guarnizo, Juan-David and Ochoa, Martín and Tippenhauer, Nils Ole and Elovici, Yuval
(2017)
ProfilIoT: A Machine Learning Approach for IoT Device Identification Based on Network Traffic Analysis (Poster).
Milner, Kevin and Cremers, Cas and Jiangshan, Yu and Ryan, Mark
(2017)
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.
Mirza, Paramita and Razniewski, Simon and Darari, Fariz and Weikum, Gerhard
(2017)
Cardinal Virtues: Extracting Relation Cardinalities from Text.
Mukherjee, Subhabrata and Popat, Kashyap and Weikum, Gerhard
(2017)
Exploring Latent Semantic Factors to Find Useful Product Reviews.
Mukkamala, Mahesh Chandra and Hein, Matthias
(2017)
Variants of RMSProp and Adagrad with Logarithmic Regret Bounds.
Möllers, Frederik and Vogelgesang, Stephanie and Hessel, Stefan and Leffer, Lena
(2017)
Mit Schirm, Charme und Kamera – Verbotene Sendeanlagen i.S.d. § 90 TKG.
Möllers, Frederik and Vogelgesang, Stephanie and Krüger, Jochen and Echizen, Isao and Sorge, Christoph
(2017)
Modelling Traffic Analysis in Home Automation Systems.
Möllers, Frederik and Vogelgesang, Stephanie and Hessel, Stefan and Leffer, Lena
(2017)
Mit Schirm, Charme und Kamera – Verbotene Sendeanlagen i.S.d. § 90 TKG.
Nasri, Mitra and Brandenburg, Björn B.
(2017)
An Exact and Sustainable Analysis of Non-preemptive Scheduling.
Nasri, Mitra and Brandenburg, Björn B.
(2017)
An Exact and Sustainable Analysis of Non-preemptive Scheduling.
Nasri, Mitra and Brandenburg, Björn B.
(2017)
Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems.
Nguyen, Dat Ba and Theobald, Martin and Weikum, Gerhard
(2017)
J-REED: Joint Relation Extraction and Entity Disambiguation.
Nguyen, Duc Cuong and Wermke, Dominik and Acar, Yasemin and Backes, Michael and Weir, Charles Alexander Forbes and Fahl, Sascha
(2017)
A Stitch in Time: Supporting Android Developers in Writing Secure Code.
Nguyen, Quynh N. and Hein, Matthias
(2017)
The Loss Surface of Deep and Wide Neural Networks.
Oh, Seong Joon and Benenson, Rodrigo and Khoreva, Anna and Akata, Zeynep and Fritz, Mario and Schiele, Bernt
(2017)
Exploiting saliency for object segmentation from image level labels.
Oh, Seong Joon and Fritz, Mario and Schiele, Bernt
(2017)
Adversarial Image Perturbation for Privacy Protection — A Game Theory Perspective.
Orekondy, Tribhuvanesh and Schiele, Bernt and Fritz, Mario
(2017)
Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.
Pang, Jun and Zhang, Yang
(2017)
DeepCity: A Feature Learning Framework for Mining Location Check-ins.
Pang, Jun and Zhang, Yang
(2017)
Quantifying Location Sociality.
Parzer, Patrick and Sharma, Adwait and Vogl, Anita and Steimle, Jürgen and Olwal, Alex and Haller, Michael
(2017)
SmartSleeve: Real-time Sensing of Surface and Deformation Gestures on Flexible, Interactive Textiles, using a Hybrid Gesture Detection Pipeline.
Patel, P. and Vanga, Manohar and Brandenburg, Björn B.
(2017)
TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference.
Patrignani, Marco and Garg, Deepak
(2017)
Secure Compilation and Hyperproperty Preservation.
Pellegrino, Giancarlo and Johns, Martin and Koch, Simon and Backes, Michael and Rossow, Christian
(2017)
Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs.
Pereira Borges Jr., Nataniel
(2017)
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications.
Pienta, Robert and Kahng, Minsuk and Lin, Zhang and Vreeken, Jilles and Talukdar, Partha and Abello, James and Parameswaran, Ganesh and Chau, Duen Horng
(2017)
FACETS : Adaptive Local Exploration of Large Graphs.
Podkopaev, Anton and Lahav, Ori and Vafeiadis, Viktor
(2017)
Promising Compilation to ARMv8 POP.
Popat, Kashyap and Mukherjee, Subhabrata and Strötgen, Jannik and Weikum, Gerhard
(2017)
Where the Truth Lies: Explaining the Credibility of Emerging Claims on the Web and Social Media.
Pérard-Gayot, Arsène and Weier, Martin and Membarth, Richard and Slusallek, Philipp and Leißa, Roland and Hack, Sebastian
(2017)
RaTrace: simple and efficient abstractions for BVH ray traversal algorithms.
Raber, Frederic and Kosmalla, Felix and Krüger, Antonio
(2017)
Fine-Grained Privacy Setting Prediction Using a Privacy Attitude Questionnaire and Machine Learning.
Raber, Frederic and Krüger, Antonio
(2017)
Towards Understanding the Influence of Personality on Mobile App Permission Settings.
Ranjan Maiti, Rajib and Siby, Sandra and Sridharan, Ragav and Tippenhauer, Nils Ole
(2017)
Link-Layer Device Type Classification on Encrypted Wireless Traffic with COTS Radios.
Rau, Andreas
(2017)
Topic-driven testing.
Rocchetto, Marco and Tippenhauer, Nils Ole
(2017)
Towards Formal Security Analysis of Industrial Control Systems.
Rohrbach, Anna and Rohrbach, Marcus and Tang, Siyu and Oh, Seong Joon and Schiele, Bernt
(2017)
Generating Descriptions with Grounded and Co-Referenced People.
Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017)
Verified Spilling and Translation Validation with Repair.
Ruffing, Tim and Moreno-Sanchez, Pedro and Kate, Aniket
(2017)
P2P Mixing and Unlinkable Bitcoin Transactions.
Sattar, Hosnieh and Bulling, Andreas and Fritz, Mario
(2017)
Predicting the Category and Attributes of Visual Search Targets Using Deep Gaze Pooling.
Schmitz, Martin and Steimle, Jürgen and Huber, Jochen and Dezfuli, Niloofar and Mühlhäuser, Max
(2017)
Flexibles: Deformation-Aware 3D-Printed Tangibles for Capacitive Touchscreens.
Shetty, Rakshith and Rohrbach, Marcus and Hendricks, Lisa Anne and Fritz, Mario and Schiele, Bernt
(2017)
Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.
Siby, Sandra and Maiti, Rajib Ranjan and Tippenhauer, Nils Ole
(2017)
IoTScanner: Detecting Privacy Threats in IoT Neighborhoods.
Simeonovski, Milivoj and Pellegrino, Giancarlo and Rossow, Christian and Backes, Michael
(2017)
Who Controls the Internet? Analyzing Global Threats using Property Graph Traversals.
Singh, Siddharth and Nanda, Vedant and Sen, Rijurekha and Ahmad, Sohaib and Sengupta, Satadal and Phokeer, Amreesh and Farooq, Zaid Ahmed and Khan, Taslim Arefin and Kumaraguru, Ponnurangam and Qazi, Ihsan Ayyub and Choffnes, David R. and Gummadi, Krishna P.
(2017)
An Empirical Analysis of Facebook's Free Basics.
Singh, Siddharth and Nanda, Vedant and Sen, Rijurekha and Sengupta, Satadal and Kumaraguru, Ponnurangam and Gummadi, Krishna P.
(2017)
Leveraging Facebook's Free Basics Engine for Web Service Deployment in Developing Regions.
Soremekun, Ezekiel
(2017)
Debugging with Probabilistic Event Structures.
Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak
(2017)
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.
Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017)
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
Speicher, Marco and Daiber, Florian and Kiefer, Gian-Luca and Krüger, Antonio
(2017)
Exploring task performance and user's preference of mid-air hand interaction in a 3D docking task experiment.
Speicher, Marco and Siegel, Rudolf and Krüger, Antonio
(2017)
ProductFinder: a location aware product information display for retail environments.
Speicher, Patrick and Steinmetz, Marcel and Gnad, Daniel and Hoffmann, Jörg and Gerevini, Alfonso
(2017)
Beyond Red-Black Planning: Limited-Memory State Variables.
Spieldenner, Torsten and Byelozyorov, Sergiy and Guldner, Michael and Slusallek, Philipp
(2017)
FiVES: An Aspect-Oriented Virtual Environment Server.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
Stock, Ben and Johns, Martin and Steffens, Marius and Backes, Michael
(2017)
How the Web Tangled Itself: Uncovering the History of Client-Side Web (In)Security.
Stoyanovich, Julia and Howe, Bill and Abiteboul, Serge and Miklau, Gerome and Sahuguet, Arnaud and Weikum, Gerhard
(2017)
Fides: Towards a Platform for Responsible Data Science.
Stransky, Christian and Acar, Yasemin and Nguyen, Duc Cuong and Wermke, Dominik and Redmiles, Elissa M. and Kim, Doowon and Backes, Michael and Garfinkel, Simson and Mazurek, Michelle and Fahl, Sascha
(2017)
Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers.
Sun, Qianru and Schiele, Bernt and Fritz, Mario
(2017)
A Domain Based Approach to Social Relation Recognition.
Tabibian, Behzad and Valera, Isabel and Farajtabar, Mehrdad and Song, Le and Schölkopf, Bernhard and Gomez-Rodriguez, Manuel
(2017)
Distilling Information Reliability and Source Trustworthiness from Digital Traces.
Tandon, Niket and de Melo, Gerard and Weikum, Gerhard
(2017)
WebChild 2.0 : Fine-Grained Commonsense Knowledge Distillation.
Tang, Siyu and Andriluka, Mykhaylo and Andres, Bjoern and Schiele, Bernt
(2017)
Multiple People Tracking by Lifted Multicut and Person Re-identification.
Tanon, Thomas Pellissier and Stepanova, Daria and Razniewski, Simon and Mirza, Paramita and Weikum, Gerhard
(2017)
Completeness-Aware Rule Learning from Knowledge Graphs.
Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan
(2017)
Ascertaining Uncertainty for Efficient Exact Cache Analysis.
Tramèr, Floran and Atlidakis, Vaggelis and Geambasu, Roxana and Hsu, Daniel and Hubaux, Jean-Pierre and Humbert, Mathias and Juels, Ari and Lin, Huang
(2017)
FairTest: Discovering Unwarranted Associations in Data-Driven Applications.
Upadhyay, Utkarsh and Valera, Isabel and Gomez-Rodriguez, Manuel
(2017)
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge.
Vadgama, Nirzaree and Steimle, Jürgen
(2017)
Flexy: Shape-Customizable, Single-Layer, Inkjet Printable Patterns for 1D and 2D Flex Sensing.
Vafeiadis, Viktor
(2017)
Program Verification Under Weak Memory Consistency Using Separation Logic.
Vanga, Manohar and Bastoni, Andrea and Theiling, Henrik and Brandenburg, Björn B.
(2017)
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS.
Vlachokyriakos, Vasillis and Crivellaro, Clara and Wright, Peter C. and Karamagioli, Evika and Staiou, Eleni-Revekka and Gouscos, Dimitris and Thorpe, Rowan and Krüger, Antonio and Schöning, Johannes and Jones, Matt and Lawson, Shaun W. and Olivier, Patrick
(2017)
HCI, Solidarity Movements and the Solidarity Economy.
Weigel, Martin and Nittala, Aditya Shekhar and Olwal, Alex and Steimle, Jürgen
(2017)
SkinMarks: Enabling Interactions on Body Landmarks Using Conformal Skin Electronics.
Weikum, Gerhard
(2017)
What Computers Should Know, Shouldn't Know, and Shouldn't Believe.
Wiehr, Frederik and Daiber, Florian and Kosmalla, Felix and Krüger, Antonio
(2017)
ARTopos: augmented reality terrain map visualization for collaborative route planning.
Wiehr, Frederik and Kosmalla, Felix and Daiber, Florian and Krüger, Antonio
(2017)
FootStriker: an EMS-based assistance system for real-time running style correction.
Wiehr, Frederik and Kosmalla, Felix and Daiber, Florian and Krüger, Antonio
(2017)
FootStriker: an EMS-based foot strike assistant for running.
Wilhelm, Erik and MacKenzie, Don and Zhou, Yuren and Cheah, Lynette and Tippenhauer, Nils Ole
(2017)
Evaluation of transport mode using wearable sensor data from 43,000 students.
Withana, Anusha I. and Steimle, Jürgen
(2017)
Personalized Interactive Surfaces with Printed Electronics.
Xian, Yongqin and Schiele, Bernt and Akata, Zeynep
(2017)
Zero-shot learning – The Good, the Bad and the Ugly.
Zafar, Bilal and Valera, Isabel and Gomez-Rodriguez, Manuel and Gummadi, Krishna P.
(2017)
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment.
Zafar, Muhammad Bilal and Valera, Isabel and Gomez-Rodriguez, Manuel and Gummadi, Krishna P.
(2017)
Fairness Constraints: Mechanisms for Fair Classification.
Zafar, Muhammad Bilal and Valera, Isabel and Gomez-Rodriguez, Manuel and Gummadi, Krishna P. and Weller, Adrian
(2017)
From Parity to Preference-based Notions of Fairness in Classification.
Zarezade, Ali and Upadhyay, U. and Rabiee, H. and Gomez-Rodriguez, Manuel
(2017)
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks.
Zeller, Andreas
(2017)
Search-Based Testing and System Testing: A Marriage in Heaven.
Zhang, Shanshan and Benenson, Rodrigo and Schiele, Bernt
(2017)
CityPersons: A Diverse Dataset for Pedestrian Detection.
Zhang, Xucong and Sugano, Yusuke and Fritz, Mario and Bulling, Andreas
(2017)
It's Written All Over Your Face: Full-Face Appearance-Based Gaze Estimation.
Ziegler, David and Abujabal, Abdalghani and Roy, Rishiraj Saha and Weikum, Gerhard
(2017)
Efficiency-aware Answering of Compositional Questions using Answer Type Prediction.
Zinnikus, Ingo and Antakli, André and Kapahnke, Patrick and Klusch, Matthias and Krauss, Christopher and Nonnengart, Andreas and Slusallek, Philipp
(2017)
Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems.
Çiçek, Ezgi and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan
(2017)
Relational cost analysis.
Article
Acar, Yasemin and Backes, Michael and Fahl, Sascha and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian
(2017)
How Internet Resources Might Be Helping You Develop Faster but Less Securely.
IEEE Security & Privacy.
Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Strub, Pierre-Yves
(2017)
A relational logic for higher-order programs.
PACMPL, 1 (ICFP).
21:1–21:29.
Azimi, Seyedmajid and Britz, Dominik and Engstler, Michael and Fritz, Mario and Mücklich, Frank
(2017)
Advanced Steel Microstructure Classification by Deep Learning Methods.
CoRR, abs/17.
Backes, Michael and Hoffmann, Jörg and Künnemann, Robert and Speicher, Patrick and Steinmetz, Marcel
(2017)
Simulated Penetration Testing and Mitigation Analysis.
CoRR, abs/17.
Bartocci, Ezio and Majumdar, Rupak
(2017)
Introduction to the special issue on runtime verification.
Formal Methods in System Design, 51 (1).
1–4.
Basin, David and Cremers, Cas and Dreier, Jannik and Sasse, Ralf
(2017)
Symbolically Analyzing Security Protocols Using Tamarin.
SIGLOG News, 4 (4).
pp. 19-30.
Belta, Calin and Majumdar, Rupak and Zamani, Majid and Rungger, Matthias
(2017)
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 7 (5).
84–96.
Bhattacharyya, Apratim and Fritz, Mario and Schiele, Bernt
(2017)
Long-Term On-Board Prediction of People in Traffic Scenes under Uncertainty.
CoRR, abs/17.
Boley, Mario and Goldsmit, Brian R. and Ghiringhelli, Luca M. and Vreeken, Jilles
(2017)
Identifying Consistent Statements about Numerical Data with Dispersion-Corrected Subgroup Discovery.
Data Mining and Knowledge Discovery, 31 (5).
pp. 1391-1418.
Boyd, Colin and Cremers, Cas and Feltz, Michèle and Paterson, Kenneth G. and Poettering, Bertram and Stebila, Douglas
(2017)
ASICS: Authenticated Key Exchange Security Incorporating
Certification Systems.
International Journal of Information Security, 16 (2).
pp. 151-171.
Brahmakshatriya, Ajay and Kedia, Piyus and McKee, Derrick Paul and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem
(2017)
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.
CoRR, abs/17.
Brodowski, Dominik and Marnau, Ninja
(2017)
Tatobjekt und Vortaten der Datenhehlerei (§ 202 d StGB).
Neue Zeitschrift für Strafrecht (NStZ), 07/201.
Budhathoki, Kailash and Vreeken, Jilles
(2017)
Origo: Causal Inference by Compression.
Knowledge and Information Systems.
Busom, Nuria and Petrlic, Ronald and Sebe, Francesc and Sorge, Christoph and Valls, Magda
(2017)
A privacy-preserving reputation system with user rewards.
Journal of Network and Computer Applications, 80.
pp. 58-66.
ISSN 1084-8045
Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017)
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
CoRR, abs/17.
Chakraborty, Abhijnan and Ali, Muhammad and Ghosh, Saptarshi and Ganguly, Niloy and Gummadi, Krishna P.
(2017)
On Quantifying Knowledge Segregation in Society.
CoRR, abs/17.
Chaudhuri, Swarat and Kannan, Sampath and Majumdar, Rupak and Wooldridge, Michael J.
(2017)
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).
Dagstuhl Reports, 7 (3).
27–32.
Chen, Jian-Jia and Brandenburg, Björn B.
(2017)
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks.
LITES, 4 (1).
01:1–01:22.
Chistikov, Dmitry and Dimitrova, Rayna and Majumdar, Rupak
(2017)
Approximate counting in SMT and value estimation for probabilistic programs.
Acta Inf., 54 (8).
729–764.
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties (Technical Report).
CoRR, abs/17.
Cremers, Cas and Horvat, Marko and Hoyland, Jonathan and Scott, Sam and van der Merwe, Thyla
(2017)
A Comprehensive Symbolic Analysis of TLS 1.3.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.
Deshmukh, Jyotirmoy V. and Jin, Xiaoqing and Majumdar, Rupak and Prabhu, Vinayak S.
(2017)
Parameter Optimization in Control Software using Statistical Fault Localization Techniques.
CoRR, abs/17.
Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017)
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR, abs/17.
Du, Nan and Liang, Yingyu and Balcan, Maria-Florina and Gomez-Rodriguez, Manuel and Zha, Hongyuan and Song, Le
(2017)
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks.
Journal of Machine Learning Research, 18.
2:1–2:45.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
CoRR, abs/17.
Elhayek, Ahmed and de Aguiar, Edilson and Jain, Arjun and Tompson, Jonathan and Pishchulin, Leonid and Andriluka, Mykhaylo and Bregler, Christoph and Schiele, Bernt and Theobalt, Christian
(2017)
MARCOnI – ConvNet-Based MARker-Less Motion Capture in Outdoor and Indoor Scenes.
IEEE Transactions on Pattern Analysis and Machine Intelligence, 39 (3).
501–514.
Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2017)
Verification of population protocols.
Acta Inf., 54 (2).
191–215.
Farahani, Samira S. and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017)
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances.
CoRR, abs/17.
Farajtabar, Mehrdad and Wang, Yichen and Gomez-Rodriguez, Manuel and Li, Shuang and Zha, Hongyuan and Song, Le
(2017)
COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Evolution.
Journal of Machine Learning Research, 18.
41:1–41:49.
Faymonville, Peter and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2017)
Real-time Stream-based Monitoring.
CoRR, abs/17.
Finkbeiner, Bernd and Gölz, Paul
(2017)
Synthesis in Distributed Environments.
CoRR, abs/17.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2017)
Synthesizing Functional Reactive Programs.
CoRR, abs/17.
Fisher, Andrea K. and Vreeken, Jilles and Klakow, Dietrich
(2017)
Beyond Pairwise Similarity: Quantifying and Characterizing Linguistic Similarity between Groups of Languages by MDL.
Computacion y Sistemas.
Gembalczyk, David and Schuhknecht, Felix Martin and Dittrich, Jens
(2017)
An Experimental Analysis of Different Key-Value Stores and Relational Databases.
Datenbanksysteme für Business, Technologie und Web (BTW 2017).
Ghorbani Lyastani, Sanam and Schilling, Michael and Fahl, Sascha and Bugiel, Sven and Backes, Michael
(2017)
Studying the Impact of Managers on Password Strength and Reuse.
CoRR, abs/17.
Goldsmith, Brian and Boley, Mario and Vreeken, Jilles and Scheffler, Matthias and Ghiringhelli, Luca M.
(2017)
Uncovering Structure-Property Relationships of Materials by Subgroup Discovery.
New Journal of Physics, 17.
Grgic-Hlaca, Nina and Zafar, Muhammad Bilal and Gummadi, Krishna P. and Weller, Adrian
(2017)
On Fairness, Diversity and Randomness in Algorithmic Decision Making.
CoRR, abs/17.
Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2017)
A Monadic Framework for Relational Verification (Functional Pearl).
CoRR, abs/17.
Grosse, Kathrin and Manoharan, Praveen and Papernot, Nicolas and Backes, Michael and McDaniel, Patrick
(2017)
On the (Statistical) Detection of Adversarial Examples.
CoRR, abs/17.
(Submitted)
Hassan, Mahmoud and Daiber, Florian and Wiehr, Frederik and Kosmalla, Felix and Krüger, Antonio
(2017)
FootStriker: An EMS-based Foot Strike Assistant for Running.
IMWUT, 1 (1).
2:1–2:18.
He, Yang and Keuper, Margret and Schiele, Bernt and Fritz, Mario
(2017)
Learning Dilation Factors for Semantic Segmentation of Street Scenes.
CoRR, abs/17.
Hessel, Stefan
(2017)
"My friend Cayla" - eine nach § 90 TKG verbotene Sendeanlage?
JurPC (13).
Höschele, Matthias and Kampmann, Alexander and Zeller, Andreas
(2017)
Active Learning of Input Grammars.
CoRR, abs/17.
Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017)
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3).
pp. 367-390.
Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Pérez, Guillermo A. and Raskin, Jean-François and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017)
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3).
367–390.
Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2017)
Distributed Synthesis for Parameterized Temporal Logics.
CoRR, abs/17.
Kerber, Frederic and Gehring, Sven and Krüger, Antonio and Löchtefeld, Markus
(2017)
Adding Expressiveness to Smartwatch Notifications Through Ambient Illumination.
IJMHCI, 9 (4).
1–14.
Kim, Jooyeon and Tabibian, Behzad and Oh, Alice and Schölkopf, Bernhard and Gomez-Rodriguez, Manuel
(2017)
Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation.
CoRR, abs/17.
Kusmierczyk, Tomasz and Gomez-Rodriguez, Manuel
(2017)
Harnessing Natural Experiments to Quantify the Causal Effect of Badges.
CoRR, abs/17.
Kyriakopoulos, Charalampos and Giehr, Pascal and Wolf, Verena
(2017)
H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data.
Bioinformatics, 33 (11).
1733–1734.
Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017)
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.
CoRR, abs/17.
Leffer, Lena and Potel, Karin and Vogelgesang, Stephanie
(2017)
Hacking Session beim 26. EDV-Gerichtstag – Praktische Demonstrationen zur IT-Sicherheit.
JurPC (147).
Lengál, Ondrej and Lin, Anthony W. and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, abs/17.
Li, Wenbin and Bohg, Jeannette and Fritz, Mario
(2017)
Acquiring Target Stacking Skills by Goal-Parameterized Deep Reinforcement Learning.
CoRR, abs/17.
Maffei, Matteo
(2017)
Security & privacy column.
SIGLOG News, 4 (1).
p. 5.
Maffei, Matteo
(2017)
Security & privacy column.
SIGLOG News, 4 (4).
p. 18.
Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2017)
Maliciously Secure Multi-Client ORAM.
IACR Cryptology ePrint Archive, 2017.
p. 329.
Malinowski, Mateusz and Rohrbach, Marcus and Fritz, Mario
(2017)
Ask Your Neurons: A Deep Learning Approach to Visual Question Answering.
International Journal of Computer Vision, 125 (1-3).
pp. 110-135.
Mallik, Kaushik and Soudjani, Sadegh Esmaeil Zadeh and Schmuck, Anne-Kathrin and Majumdar, Rupak
(2017)
Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR, abs/17.
Mehlhorn, Kurt and Neumann, Adrian and Schmidt, Jens M.
(2017)
Certifying 3-Edge-Connectivity.
Algorithmica, 77 (2).
309–335.
Minaei, Mohsen and Mondal, Mainack and Loiseau, Patrick and Gummadi, Krishna P. and Kate, Aniket
(2017)
Forgetting the Forgotten with Letheia, Concealing Content Deletion from Persistent Observers.
CoRR, abs/17.
Mondal, Mainack and Messias, Johnnatan and Ghosh, Saptarshi and Gummadi, Krishna P. and Kate, Aniket
(2017)
Longitudinal Privacy Management in Social Media: The Need for Better Controls.
IEEE Internet Computing, 21 (3).
48–55.
Münnich-Hessel, Susanne and Hessel, Stefan
(2017)
„Drachenlord“ und „Drachengame“ – Cybermobbingopfer in der psychotherapeutischen Sprechstunde.
Forum der Psychotherapeutenkammer des Saarlandes (67).
pp. 32-34.
Nguyen, Dat Ba and Abujabal, Abdalghani and Tran, Khanh and Theobald, Martin and Weikum, Gerhard
(2017)
Query-Driven On-The-Fly Knowledge Base Construction.
PVLDB, 11 (1).
66–79.
Nguyen, Quynh N. and Tudisco, Francesco and Gautier, Antoine and Hein, Matthias
(2017)
An Efficient Multilinear Optimization Framework for Hypergraph Matching.
IEEE Trans. Pattern Anal. Mach. Intell., 39 (6).
1054–1075.
Oh, Seong Joon and Benenson, Rodrigo and Fritz, Mario and Schiele, Bernt
(2017)
Person Recognition in Social Media Photos.
CoRR, abs/17.
Oh, Seong Joon and Benenson, Rodrigo and Khoreva, Anna and Akata, Zeynep and Fritz, Mario and Schiele, Bernt
(2017)
Exploiting saliency for object segmentation from image level labels.
CoRR, abs/17.
Oh, Seong Joon and Fritz, Mario and Schiele, Bernt
(2017)
Adversarial Image Perturbation for Privacy Protection - A Game Theory Perspective.
CoRR, abs/17.
Orekondy, Tribhuvanesh and Schiele, Bernt and Fritz, Mario
(2017)
Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.
CoRR, abs/17.
Pishchulin, Leonid and Wuhrer, Stefanie and Helten, Thomas and Theobalt, Christian and Schiele, Bernt
(2017)
Building statistical shape spaces for 3D human modeling.
Pattern Recognition, 67.
276–286.
Pérard-Gayot, Arsène and Kalojanov, Javor and Slusallek, Philipp
(2017)
GPU Ray Tracing using Irregular Grids.
Comput. Graph. Forum, 36 (2).
477–486.
Rajani, Vineet and Bastys, Iulia and Rafnsson, Willard and Garg, Deepak
(2017)
Type systems for information flow control: the question of granularity.
SIGLOG News, 4 (1).
6–21.
Rematas, Konstantinos and Nguyen, Chuong H. and Ritschel, Tobias and Fritz, Mario and Tuytelaars, Tinne
(2017)
Novel Views of Objects from a Single Image.
IEEE Trans. Pattern Anal. Mach. Intell., 39 (8).
pp. 1576-1590.
Rohrbach, Anna and Torabi, Atousa and Rohrbach, Marcus and Tandon, Niket and Pal, Christopher and Larochelle, Hugo and Courville, Aaron and Schiele, Bernt
(2017)
Movie Description.
International Journal of Computer Vision, 123 (1).
94–120.
Sattar, Hosnieh and Fritz, Mario and Bulling, Andreas
(2017)
Visual Decoding of Targets During Visual Search From Human Eye Fixations.
CoRR, abs/17.
Schmuck, Anne-Kathrin and Majumdar, Rupak and Leva, Adrian
(2017)
Dynamic hierarchical reactive controller synthesis.
Discrete Event Dynamic Systems, 27 (2).
261–299.
Sen, Rijurekha and Ahmad, Sohaib and Phokeer, Amreesh and Farooq, Zaid Ahmed and Qazi, Ihsan Ayyub and Choffnes, David R. and Gummadi, Krishna P.
(2017)
Inside the Walled Garden: Deconstructing Facebook's Free Basics Program.
Computer Communication Review, 47 (5).
12–24.
Sharma, Ankur and Schuhknecht, Felix Martin and Dittrich, Jens
(2017)
Accelerating Analytical Processing in MVCC using Fine-Granular High-Frequency Virtual Snapshotting.
CoRR, abs/17.
Shetty, Rakshith and Rohrbach, Marcus and Hendricks, Lisa Anne and Fritz, Mario and Schiele, Bernt
(2017)
Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.
CoRR, abs/17.
Shetty, Rakshith and Schiele, Bernt and Fritz, Mario
(2017)
A4NT: Author Attribute Anonymity by Adversarial Training of Neural Machine Translation.
CoRR, abs/17.
Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro and Majumdar, Rupak
(2017)
Dynamic Bayesian networks for formal verification of structured stochastic processes.
Acta Inf., 54 (2).
217–242.
Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017)
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
CoRR, abs/17.
Speicher, Marco and Cucerca, Sebastian and Krüger, Antonio
(2017)
VRShop: A Mobile Interactive Virtual Reality Shopping Environment Combining the Benefits of On- and Offline Shopping.
IMWUT, 1 (3).
102:1–102:31.
Steimle, Jürgen and Bergstrom-Lehtovirta, Joanna and Weigel, Martin and Nittala, Aditya Shekhar and Boring, Sebastian and Olwal, Alex and Hornbæk, Kasper
(2017)
On-Skin Interaction Using Body Landmarks.
IEEE Computer, 50 (10).
19–27.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning.
Artificial Intelligence (journal), ???.
-.
Sun, Qianru and Schiele, Bernt and Fritz, Mario
(2017)
A Domain Based Approach to Social Relation Recognition.
CoRR, abs/17.
Swasey, David and Garg, Deepak and Dreyer, Derek
(2017)
Robust and compositional verification of object capability patterns.
OOPSLA, 1.
89:1–89:26.
Tabibian, Behzad and Upadhyay, Utkarsh and De, Abir and Zarezade, Ali and Schölkopf, Bernhard and Gomez-Rodriguez, Manuel
(2017)
Optimizing Human Learning.
CoRR, abs/17.
Tschiatschek, Sebastian and Singla, Adish and Gomez-Rodriguez, Manuel and Merchant, Arpit and Krause, Andreas
(2017)
Detecting Fake News in Social Networks via Crowdsourcing.
CoRR, abs/17.
Vogelgesang, Stephanie
(2017)
Datensicherheit und IT-Sicherheit in der Justiz.
juris – Die Monatszeitschrift.
Vogelgesang, Stephanie and Hessel, Stefan
(2017)
Spionagegeräte im Kinderzimmer? – Zur Problematik des § 90 TKG bei Smart Toys.
ZD - Zeitschrift für den Datenschutz, 7 (6).
pp. 269-273.
ISSN 2192-5593
Vogelgesang, Stephanie and Möllers, Frederik and Hessel, Stefan and Potel, Karin
(2017)
Auf der Jagd nach Schwachstellen – Eine strafrechtliche Bewertung von Portscans.
Datenschutz und Datensicherheit - DuD, 41 (8).
pp. 501-506.
Vogelgesang, Stephanie and Möllers, Frederik and Hessel, Stefan and Potel, Karin
(2017)
Auf der Jagd nach Schwachstellen – Eine strafrechtliche Bewertung von Portscans.
Datenschutz und Datensicherheit - DuD, 41 (8).
pp. 501-506.
Vogelgesang, Stephanie and Möllers, Frederik and Potel, Karin
(2017)
Strafbarkeit bei der digitalen Spurensuche – Eine rechtliche Bewertung von Honeypots.
MultiMedia und Recht, 20 (5).
pp. 291-295.
ISSN 1434-596X
Vogelgesang, Stephanie and Möllers, Frederik and Potel, Karin
(2017)
Strafbarkeit bei der digitalen Spurensuche – Eine rechtliche Bewertung von Honeypots.
MultiMedia und Recht, 20 (5).
pp. 291-295.
Weier, Martin and Stengel, Michael and Roth, Thorsten and Didyk, Piotr and Eisemann, Elmar and Eisemann, Martin and Grogorick, Steve and Hinkenjann, André and Kruijff, Ernst and Magnor, Marcus A. and Myszkowski, Karol and Slusallek, Philipp
(2017)
Perception-driven Accelerated Rendering.
Comput. Graph. Forum, 36 (2).
611–643.
Weigel, Martin and Steimle, Jürgen
(2017)
DeformWear: Deformation Input on Tiny Wearable Devices.
IMWUT, 1 (2).
28:1–28:23.
Zarezade, Ali and De, Abir and Rabiee, Hamid R. and Gomez-Rodriguez, Manuel
(2017)
Cheshire: An Online Algorithm for Activity Maximization in Social Networks.
CoRR, abs/17.
Zenner, André and Krüger, Antonio
(2017)
Shifty: A Weight-Shifting Dynamic Passive Haptic Proxy to Enhance Object Perception in Virtual Reality.
IEEE Trans. Vis. Comput. Graph., 23 (4).
1285–1294.
Zhang, Shanshan and Benenson, Rodrigo and Omran, Mohamed and Hosang, Jan and Schiele, Bernt
(2017)
Towards Reaching Human Performance in Pedestrian Detection.
IEEE Transactions on Pattern Analysis and Machine Intelligence.
Zhang, Xucong and Sugano, Yusuke and Fritz, Mario and Bulling, Andreas
(2017)
MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation.
CoRR, abs/17.
Book Section
Avdiienko, Vitalii and Kuznetsov, Konstantin and Gorla, Alessandra and Zeller, Andreas and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric
(2017)
App Mining.
In:
Lecture Notes in Informatics (LNI) - Proceedings.
LNI, P-267
.
GI.
Finkbeiner, Bernd and Klein, Felix
(2017)
Reactive Synthesis: Towards Output-Sensitive Algorithms.
In:
Dependable Software Systems Engineering.
UNSPECIFIED, 25–43.
Sorge, Christoph
(2017)
Kommentierung der §§~46d und 46e ArbGG.
In:
Arbeitsgerichtsgesetz: Kommentar.
Otto Schmidt.
Book
Judmayer, Aljosha and Stifter, Nicholas and Krombholz, Katharina and Weippl, Edgar, eds.
(2017)
Blocks and Chains: Introduction to Bitcoin, Cryptocurrencies, and their Consensus Mechanisms.
Morgan & Claypool Publishers.
UNSPECIFIED, ed.
(2017)
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I.
Lecture Notes in Computer Science, 10426
.
Springer.
UNSPECIFIED, ed.
(2017)
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
Lecture Notes in Computer Science, 10427
.
Springer.
UNSPECIFIED, ed.
(2017)
Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017.
ACM.
Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Mazurek, Michelle and Fahl, Sascha
(2017)
Security Developer Studies with GitHub Users: Exploring a Convenience Sample.
UNSPECIFIED.
Lijffijt, Jefrey and Chau, Duen Horng and Vreeken, Jilles and van Leeuwen, Matthijs and Shahaf, Dafna and Faloutsos, Christos
(2017)
Proceedings of the ACM SIGKDD Workshop on Interactive Data Exploration and Analytics (IDEA).
UNSPECIFIED, pp. 1-85.
Lück, Alexander and Giehr, Pascal and Walter, Jörn and Wolf, Verena
(2017)
A Stochastic Model for the Formation of Spatial Methylation Patterns.
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10545), 160–178.
Petrlic, Ronald and Sorge, Christoph
(2017)
Datenschutz: Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie.
Springer Vieweg, Wiesbaden.
ISBN 978-3-658-16838-4
Monograph
Ma, Liqian and Sun, Qianru and Georgoulis, Stamatios and Gool, Luc Van and Schiele, Bernt and Fritz, Mario
(2017)
Disentangled Person Image Generation.
Technical Report.
arXiv.
Oh, Seong Joon and Augustin, Max and Schiele, Bernt and Fritz, Mario
(2017)
Whitening Black-Box Neural Networks.
Technical Report.
arXiv.
Oh, Seong Joon and Fritz, Mario and Schiele, Bernt
(2017)
Adversarial Image Perturbation for Privacy Protection -- A Game Theory Perspective.
Technical Report.
UNSPECIFIED.
Orekondy, Tribhuvanesh and Fritz, Mario and Schiele, Bernt
(2017)
Connecting Pixels to Privacy and Utility: Automatic Redaction of Private Information in Images.
Technical Report.
arXiv.
Orekondy, Tribhuvanesh and Schiele, Bernt and Fritz, Mario
(2017)
Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.
Technical Report.
UNSPECIFIED.
Shetty, Rakshith and Rohrbach, Marcus and Hendricks, Lisa Anne and Fritz, Mario and Schiele, Bernt
(2017)
Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.
Technical Report.
UNSPECIFIED.
Shetty, Rakshith and Schiele, Bernt and Fritz, Mario
(2017)
A4NT : Author Attribute Anonymity by Adversarial Training of Neural Machine Translation.
Technical Report.
arXiv.
Sun, Qianru and Ma, Liqian and Oh, Seong Joon and Gool, Luc Van and Schiele, Bernt and Fritz, Mario
(2017)
Natural and Effective Obfuscation by Head Inpainting.
Technical Report.
arXiv.
Other
Siby, Sandra and Maiti, Rajib Ranjan and Tippenhauer, Nils Ole
(2017)
IoTScanner: Detecting and Classifying Privacy Threats in IoT Neighborhoods.
Sorge, Christoph and Marnau, Ninja
(2017)
Stellungnahme des CISPA zum Entwurf eines Gesetzes zur Förderung der elektronischen Verwaltung im Saarland sowie zur Änderung weiterer Vorschriften.
This list was generated on Fri Oct 11 17:29:06 2024 CEST.