Items where Year is 2017

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article | Book Section | Book | Monograph | Other
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.
In: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, EMNLP 2017, Copenhagen, Denmark, September 9-11, 2017 - System Demonstrations.
Conference: EMNLP Empirical Methods in Natural Language Processing

Abujabal, Abdalghani and Yahya, Mohamed and Riedewald, Mirek and Weikum, Gerhard
(2017) Automated Template Generation for Question Answering over Knowledge Graphs.
In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

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.
In: 38th IEEE Symposium on Security and Privacy (S&P '17).
Conference: SP IEEE Symposium on Security and Privacy

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.
In: IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24-26, 2017.

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.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

Adolf, Florian-Michael and Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torens, Christoph
(2017) Stream Runtime Monitoring on UAS.
In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings.

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017) Synthesis of Problems for Shaded Area Geometry Reasoning.
In: Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings.

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017) Synthesis of Solutions for Shaded Area Geometry Problems.
In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017..

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.
In: Proceedings of Workshop on Cyber-Physical Systems Security & Privacy (SPC-CPS), co-located with CCS.

Antonioli, Daniele and Siby, Sandra and Tippenhauer, Nils Ole
(2017) Practical Evaluation of Passive COTS Eavesdropping in 802.11b/n/ac WLAN.
In: Proceedings of Conference on Cryptology And Network Security (CANS).

Apon, Daniel and D\"ttling, Nico and Garg, Sanjam and Mukherjee, Pratyay
(2017) Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
In: ICALP.

Apon, Daniel and Döttling, Nico and Garg, Sanjam and Mukherjee, Pratyay
(2017) Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
In: ICALP.
Conference: ICALP International Colloquium on Automata Languages and Programming

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.
In: Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on.
Conference: ICSE International Conference on Software Engineering

Backenköhler, Michael and Wolf, Verena
(2017) Student Performance Prediction and Optimal Course Selection: An MDP Approach.
In: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers.

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.
In: Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P).
Conference: SP IEEE Symposium on Security and Privacy

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.
In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17).
Conference: AMCIS Americas Conference on Information Systems

Backes, Michael and Bugiel, Sven and von Styp-Rekowsky, Philipp and Wißfeld, Marvin
(2017) Seamless In-App Ad Blocking on Stock Android.
In: Mobile Security Technologies (MOST) 2017 Workshop.

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.
In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17).
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Backes, Michael and Gomez-Rodriguez, Manuel and Manoharan, Praveen and Surma, Bartlomiej
(2017) Reconciling Privacy and Utility in Continuous-Time Diffusion Networks.
In: Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF '17).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Humbert, Mathias and Pang, Jun and Zhang, Yang
(2017) walk2friends: Inferring Social Links from Mobility Profiles.
In: ACM SIGSAC Conference on Computer and Communication Security.
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Nauman, Mohammad
(2017) LUNA: Quantifying and Leveraging Uncertainty in Android Malware Analysis through Bayesian Machine Learning.
In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17).
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Backes, Michael and Rieck, Konrad and Skoruppa, Malte and Stock, Ben and Yamaguchi, Fabian
(2017) Efficient and Flexible Discovery of PHP Application Vulnerabilities.
In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17).
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Bei, Xiaohui and Garg, Jugal and Hoefer, Martin and Mehlhorn, Kurt
(2017) Earning Limits in Fisher Markets with Spending-Constraint Utilities.
In: SAGT 2017 - International Symposium on Algorithmic Game Theory.

Bertens, Roel and Vreeken, Jilles and Siebes, Arno
(2017) Efficiently Discovering Unexpected Pattern Co-Occurrences.
In: Proceedings of the SIAM International Conference on Data Mining (SDM).
Conference: SDM SIAM International Conference on Data Mining

Beverungen, Daniel and Lüttenberg, Hedda and Wolf, Verena
(2017) Recombinant Service System Engineering.
In: Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, WI 2017, St.Gallen, Switzerland, February 12-15, 2017..

Bhattacharyya, Apratim and Vreeken, Jilles
(2017) Efficiently Summarising Event Sequences with Rich Interleaving Patterns.
In: Proceedings of the SIAM International Conference on Data Mining (SDM).
Conference: SDM SIAM International Conference on Data Mining

Bichhawat, Abhishek and Rajani, Vineet and Jain, Jinank and Garg, Deepak and Hammer, Christian
(2017) WebPol: Fine-Grained Information Flow Policies for Web Browsers.
In: Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I.
Conference: ESORICS European Symposium On Research In Computer Security

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.
In: Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017, Singapore, November 06 - 10, 2017.
Conference: CIKM ACM International Conference on Information and Knowledge Management

Biega, Joanna Asia and Roy, Rishiraj Saha and Weikum, Gerhard
(2017) Privacy through Solidarity: A User-Utility-Preserving Framework to Counter Profiling.
In: Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval, Shinjuku, Tokyo, Japan, August 7-11, 2017.
Conference: SIGIR ACM International Conference on Research and Development in Information Retrieval

Blaß, Tobias and Hahn, Sebastian and Reineke, Jan
(2017) Write-Back Caches in WCET Analysis.
In: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, June 27-30, 2017, Dubrovnik, Croatia.
Conference: ECRTS Euromicro Conference on Real-Time Systems

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.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Bohli, Jens-Matthias and Dietrich, Aljoscha and Petrlic, Ronald and Sorge, Christoph
(2017) A Comparison of Payment Schemes for the IoT.
In: Open Identity Summit 2017.

Boldyrev, Natalia and Spaniol, Marc and Strötgen, Jannik and Weikum, Gerhard
(2017) SESAME: European Statistics Explored via Semantic Alignment onto Wikipedia.
In: Proceedings of the 26th International Conference on World Wide Web Companion, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

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.
In: EUROCRYPT.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

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.
In: EUROCRYPT (1).

Budhathoki, Kailash and Vreeken, Jilles
(2017) Correlation by Compression.
In: Proceedings of the SIAM International Conference on Data Mining (SDM).
Conference: SDM SIAM International Conference on Data Mining

Budhathoki, Kailash and Vreeken, Jilles
(2017) MDL for Causal Inference on Discrete Data.
In: Proceedings of the IEEE International Conference on Data Mining (ICDM).
Conference: ICDM IEEE International Conference on Data Mining

Böhme, Marcel and Soremekun, Ezekiel and Chattopadhyay, Sudipta and Ugherughe, Emamurho and Zeller, Andreas
(2017) How Developers Debug Software- The DBGBENCH Dataset.
In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Conference: ICSE International Conference on Software Engineering

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.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.
Conference: ESEC/FSE European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (formerly listed as ESEC)

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.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Canones, Pablo and Köpf, Boris and Reineke, Jan
(2017) Security Analysis of Cache Replacement Policies.
In: Proceedings of the 6th International Conference on Principles of Security and Trust.

Castellanos, John Henry and Antonioli, Daniele and Tippenhauer, Nils Ole and Ochoa, Martín
(2017) Legacy-Compliant Data Authentication for Industrial Control System Traffic.
In: Proceedings of the Conference on Applied Cryptography and Network Security (ACNS).

Chakraborty, Abhijnan and Ghosh, Saptarshi and Ganguly, Niloy and Gummadi, Krishna P.
(2017) Optimizing the Recency-Relevancy Trade-off in Online News Recommendations.
In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

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.
In: Proceedings of the Eleventh International Conference on Web and Social Media, ICWSM 2017, Montréal, Québec, Canada, May 15-18, 2017..

Chakraborty, Soham and Vafeiadis, Viktor
(2017) Formalizing the concurrency semantics of an LLVM fragment.
In: Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017.
Conference: CGO International Symposium on Code Generation and Optimization

Chattopadhyay, Sudipta and Beck, Moritz and Rezine, Ahmed and Zeller, Andreas
(2017) Quantifying the information leak in cache attacks via symbolic execution.
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017.

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.
In: 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017.
Conference: RTSS Real Time Systems Symposium

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.
In: CRYPTO (2).

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.
In: CRYPTO.
Conference: CRYPTO Advances in Cryptology

Chu, Cuong Xuan and Tandon, Niket and Weikum, Gerhard
(2017) Distilling Task Knowledge from How-To Communities.
In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Stebila, Douglas
(2017) A Formal Security Analysis of the Signal Messaging Protocol.
In: 2nd IEEE European Symposium on Security and Privacy.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Conchon, Sylvain and Goel, Amit and Krstic, Sava and Majumdar, Rupak and Roux, Mattias
(2017) FAR-Cubicle - A new reachability algorithm for Cubicle.
In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017.

Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017) A Type System for Privacy Properties.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

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.
In: ICITS.

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.
In: ICITS.

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2017) Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
In: 22nd European Symposium on Research in Computer Security (ESORICS 2017).
Conference: ESORICS European Symposium On Research In Computer 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.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: ESOP European Symposium on Programming

D\"ttling, Nico and Garg, Sanjam
(2017) From Selective IBE to Full IBE and Selective HIBE.
In: TCC (1).

D\"ttling, Nico and Garg, Sanjam
(2017) Identity-Based Encryption from the Diffie-Hellman Assumption.
In: CRYPTO (1).

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.
In: ACM Conference on Computer and Communications Security.

Daiber, Florian and Kosmalla, Felix and Wiehr, Frederik and Krüger, Antonio
(2017) Follow the pioneers: towards personalized crowd-sourced route generation for mountaineers.
In: Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017, Maui, HI, USA, September 11-15, 2017.
Conference: UbiComp ACM International Joint Conference on Pervasive and Ubiquitous Computing (PERVASIVE and UbiComp combined from 2013)

Daiber, Florian and Kosmalla, Felix and Wiehr, Frederik and Krüger, Antonio
(2017) FootStriker: A Wearable EMS-based Foot Strike Assistant for Running.
In: Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017.
Conference: ISS ACM International Conference on Interactive Surfaces and Spaces (was International Workshop on Horizontal Interactive Human-Computer Systems: Tabletop)

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.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS ACM Conference on Computer and Communications Security

Devriese, Dominique and Patrignani, Marco and Piessens, Frank
(2017) Parametricity Versus the Universal Type.
In: POPL.

Dietrich, Aljoscha and Krüger, Jochen and Potel, Karin
(2017) Wearables im Zugriff der Strafjustiz.
In: Trends und Communities der Rechtsinformatik: Tagungsband des 20. Internationalen Rechtsinformatik Symposions IRIS 2017 / Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

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.
In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.
Conference: CONCUR International Conference on Concurrency Theory

Doerfert, Johannes and Grosser, Tobias and Hack, Sebastian
(2017) Optimistic loop optimization.
In: Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017.
Conference: CGO International Symposium on Code Generation and Optimization

Doko, Marko and Vafeiadis, Viktor
(2017) Tackling Real-Life Relaxed Concurrency with FSL++.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: ESOP European Symposium on Programming

Döttling, Nico and Garg, Sanjam
(2017) From Selective IBE to Full IBE and Selective HIBE.
In: TCC.
Conference: TCC Theory of Cryptography Conference

Döttling, Nico and Garg, Sanjam
(2017) Identity-Based Encryption from the Diffie-Hellman Assumption.
In: CRYPTO.
Conference: CRYPTO Advances in Cryptology

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.
In: ACM Conference on Computer and Communications Security.
Conference: CCS ACM Conference on Computer and Communications Security

Ehlers, Rüdiger and Finkbeiner, Bernd
(2017) Symmetric Synthesis.
In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India.

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.
In: Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017, Singapore, November 06 - 10, 2017.
Conference: CIKM ACM International Conference on Information and Knowledge Management

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.
In: 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017.

Faymonville, Peter and Finkbeiner, Bernd and Rabe, Markus N. and Tentrup, Leander
(2017) Encodings of Bounded Synthesis.
In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, .
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Faymonville, Peter and Finkbeiner, Bernd and Tentrup, Leander
(2017) BoSy: An Experimentation Framework for Bounded Synthesis.
In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
Conference: CAV Computer Aided Verification

Fickert, Maximilian and Hoffmann, Jörg
(2017) Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Fickert, Maximilian and Hoffmann, Jörg
(2017) Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning.
In: Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA..

Finkbeiner, Bernd and Gieseking, Manuel and and Ernst-Rüdiger Olderog, Jesko Hecking-Harbusch
(2017) Symbolic vs. Bounded Synthesis for Petri Games.
In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017..

Finkbeiner, Bernd and Gölz, Paul
(2017) Synthesis in Distributed Environments.
In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India.

Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin
(2017) EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
Conference: CAV Computer Aided Verification

Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2017) Monitoring Hyperproperties.
In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings.
Conference: CAV Computer Aided Verification

Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2017) Vehicle Platooning Simulations with Functional Reactive Programming.
In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017.

Finkbeiner, Bernd and Kupriyanov, Andrey
(2017) Causality-based Model Checking.
In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017..

Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017) Verifying Security Policies in Multi-agent Workflows with Loops.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS ACM Conference on Computer and Communications Security

Finkbeiner, Bernd and Torfah, Hazem
(2017) The Density of Linear-Time Properties.
In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Zimmermann, Martin
(2017) The First-Order Logic of Hyperproperties.
In: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany.
Conference: STACS International Symposium on Theoretical Aspects of Computer Science

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.
In: 38th IEEE Symposium on Security and Privacy (S&P '17).
Conference: SP IEEE Symposium on Security and Privacy

Fischer, Jeffrey and Majumdar, Rupak
(2017) Programming by Composing Filters.
In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017.

Francis, Paul and Eide, Sebastian Probst and Munz, Reinhard
(2017) Diffix: High-Utility Database Anonymization.
In: Privacy Technologies and Policy - 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers.

Frenkel, Hadar and Grumberg, Orna and Sheinvald, Sarai
(2017) An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
In: NFM 2017.
Conference: NFM NASA Formal Methods Symposium

Gambi, Alessio and Gorla, Alessandra and Zeller, Andreas
(2017) O!Snap: Cost-Efficient Testing in the Cloud.
In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017.
Conference: ICST International Conference on Software Testing, Verification and Validation

Gambi, Alessio and Kappler, Sebastian and Lampel, Johannes and Zeller, Andreas
(2017) CUT: automatic unit testing in the cloud.
In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017.
Conference: ISSTA International Symposium on Software Testing and Analysis

Gambi, Alessio and Mayr-Dorn, Christoph and Zeller, Andreas
(2017) Model-based testing of end-user collaboration intensive systems.
In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017.

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).
In: 1st Workshop on Principles of Secure Compilation.

Georgoulis, Stamatios and Rematas, Konstantinos and Ritschel, Tobias and Fritz, Mario and Tuytelaars, Tinne and Gool, Luc Van
(2017) What is Around the Camera?
In: IEEE International Conference on Computer Vision, ICCV 2017, Venice, Italy, October 22-29, 2017.
Conference: ICCV IEEE International Conference on Computer Vision

Gnad, Daniel and Poser, Valerie and Hoffmann, Jörg
(2017) Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Gnad, Daniel and Torralba, Àlvaro and Hoffmann, Jörg
(2017) Symbolic Leaf Representation in Decoupled Search.
In: Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA..

Gnad, Daniel and Torralba, Àlvaro and Shleyfman, Alexander and Hoffmann, Jörg
(2017) Symmetry Breaking in Star-Topology Decoupled Search.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Govil, Naman and Agrawal, Anand and Tippenhauer, Nils Ole
(2017) On Ladder Logic Bombs in Industrial Control Systems.
In: Proceedings of the Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems (CyberICPS), co-located with ESORICS.

Grosse, Kathrin and Papernot, Nicolas and Manoharan, Praveen and Backes, Michael and McDaniel, Patrick
(2017) Adversarial Examples for Malware Detection.
In: Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II.
Conference: ESORICS European Symposium On Research In Computer Security

Grosse, Kathrin and Vreeken, Jilles
(2017) Summarising Event Sequences using Serial Episodes and an Ontology.
In: Proceedings of the 4th Workshop on Interactions between Data Mining and Natural Language Processing (DMNLP).

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.
In: Proceedings of the Cyber-Physical System Security Workshop (CPSS), co-located with ASIACCS.

Guimarães, Anna and Wang, Liqiang and Weikum, Gerhard
(2017) Us and Them: Adversarial Politics on Twitter.
In: 2017 IEEE International Conference on Data Mining Workshops, ICDM Workshops 2017, New Orleans, LA, USA, November 18-21, 2017.

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.
In: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11 - 15, 2017.
Conference: Middleware ACM/IFIP/USENIX International Middleware Conference

Gujarati, Arpan and Nasri, Mitra and Brandenburg, Björn B.
(2017) Quantifying the Resiliency of Replicated Networked Control Systems to Transient Faults.
In: Proceedings of the Work-in-Progress Session of the 29th Euromicro Conference on Real-Time Systems (ECRTS 2017).
Conference: ECRTS Euromicro Conference on Real-Time Systems

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.
In: Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, LLVM-HPC@SC 2017, Denver, CO, USA, November 13, 2017.

Havrikov, Nikolas
(2017) Efficient fuzz testing leveraging input, code, and execution.
In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Conference: ICSE International Conference on Software Engineering

Havrikov, Nikolas and Gambi, Alessio and Zeller, Andreas and Arcuri, Andrea and Galeotti, Juan Pablo
(2017) Generating Unit Tests with Structured System Interactions.
In: 12th IEEE/ACM International Workshop on Automation of Software Testing, AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017.

He, Yang and Chiu, Wei-Chen and Keuper, Margret and Fritz, Mario
(2017) STD2P: RGBD Semantic Segmentation Using Spatio-Temporal Data-Driven Pooling.
In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

He, Yang and Keuper, Margret and Schiele, Bernt and Fritz, Mario
(2017) Learning Dilation Factors for Semantic Segmentation of Street Scenes.
In: Pattern Recognition - 39th German Conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017, Proceedings.

Hein, Matthias and Andriushchenko, Maksym
(2017) Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation.
In: Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4-9 December 2017, Long Beach, CA, USA.
Conference: NeurIPS Conference on Neural Information Processing Systems

Hinrichs, Frauke and Vreeken, Jilles
(2017) Characterising the Difference and the Norm between Sequence Databases.
In: Proceedings of the 4th Workshop on Interactions between Data Mining and Natural Language Processing (DMNLP).

Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas
(2017) Thread modularity at many levels: a pearl in compositional verification.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Hosang, Jan and Benenson, Rodrigo and Schiele, Bernt
(2017) Learning Non-maximum Suppression.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Hotzkow, Jenny
(2017) Automatically Inferring and Enforcing User Expectations.
In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, July 10-14, Santa Barbara, CA, USA.
Conference: ISSTA International Symposium on Software Testing and Analysis

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.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS ACM Conference on Computer and Communications Security

Höschele, Matthias and Zeller, Andreas
(2017) Mining input grammars with AUTOGRAM.
In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume.
Conference: ICSE International Conference on Software Engineering

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.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

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.
In: Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017..

Jamrozik, Konrad and Zeller, Andreas
(2017) Mining Sandboxes for Security - Automatisches Sandboxing für Software-Sicherheit.
In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, Hannover, Deutschland.

Jankowiak, Martin and Gomez-Rodriguez, Manuel
(2017) Uncovering the Spatiotemporal Patterns of Collective Social Activity.
In: 2017 SIAM International Conference on Data Mining.
Conference: SDM SIAM International Conference on Data Mining

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.
In: Proceedings of the 2017 Internet Measurement Conference.
Conference: IMC Internet Measurement Conference

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.
In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.
Conference: ECOOP European Conference on Object-Oriented Programming

Kalofolias, Janis and Boley, Mario and Vreeken, Jilles
(2017) Efficiently Discovering Locally Exceptional yet Globally Representative Subgroups.
In: Proceedings of the IEEE International Conference on Data Mining (ICDM).
Conference: ICDM IEEE International Conference on Data Mining

Kampmann, Alexander
(2017) Local Analysis for Global Inputs.
In: 39th International Symposium on Software Engineering, May 20-28, 2017, Buenos Aires.

Kang, Jeehoon and Hur, Chung-Kil and Lahav, Ori and Vafeiadis, Viktor and Dreyer, Derek
(2017) A promising semantics for relaxed-memory concurrency.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Karessli, Nour and Akata, Zeynep and Schiele, Bernt and Bulling, Andreas
(2017) Gaze Embeddings for Zero-Shot Image Classification.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Kerber, Frederic and Kiefer, Tobias and Löchtefeld, Markus and Krüger, Antonio
(2017) Investigating current techniques for opposite-hand smartwatch interaction.
In: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017.

Kerber, Frederic and Puhl, Michael and Krüger, Antonio
(2017) User-independent real-time hand gesture recognition based on surface electromyography.
In: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017.

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.
In: 2017 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017, Honolulu, HI, USA, July 21-26, 2017.
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Kloos, Johannes and Majumdar, Rupak and McCabe, Frank
(2017) Deferrability Analysis for JavaScript.
In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings.

Kosmalla, Felix and Daiber, Florian and Wiehr, Frederik and Krüger, Antonio
(2017) ClimbVis: Investigating In-situ Visualizations for Understanding Climbing Movements by Demonstration.
In: Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017.
Conference: ISS ACM International Conference on Interactive Surfaces and Spaces (was International Workshop on Horizontal Interactive Human-Computer Systems: Tabletop)

Kosmalla, Felix and Murlowski, Christian and Daiber, Florian and Wiehr, Frederik and Krüger, Antonio
(2017) Slackliner: an interactive assistant for slackline training.
In: Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017, Maui, HI, USA, September 11-15, 2017.
Conference: UbiComp ACM International Joint Conference on Pervasive and Ubiquitous Computing (PERVASIVE and UbiComp combined from 2013)

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.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts..
Conference: CHI International Conference on Human Factors in Computing Systems

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.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Krombholz, Katharina and Dabrowski, Adrian and Smith, Matthew and Weippl, Edgar
(2017) Exploring Design Directions for Wearable Privacy.
In: USEC'17.

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.
In: 26th USENIX Security Symposium (USENIX Security 2017).
Conference: USENIX-Security Usenix Security Symposium

Krupp, Johannes and Karami, Mohammad and Rossow, Christian and McCoy, Damon and Backes, Michael
(2017) Linking Amplification DDoS Attacks to Booter Services.
In: International Symposium on Research in Attacks, Intrusions, and Defenses, September 18-20, 2017, Atlanta, GA, USA.
Conference: RAID The International Symposium on Research in Attacks, Intrusions and Defenses (was International Symposium on Recent Advances in Intrusion Detection)

Krüger, Frederik and Vogelgesang, Stephanie
(2017) Richterliche Unabhängigkeit und Bring Your Own Device (BYOD) – Weg in die Zukunft oder unvertretbares Sicherheitsrisiko?
In: Trends und Communities der Rechtsinformatik: Tagungsband des 20. Internationalen Rechtsinformatik Symposions IRIS 2017 / Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

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?
In: Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

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.
In: Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

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.
In: Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2017, Portland, OR, USA, February 25 - March 1, 2017.
Conference: CSCW ACM Conference on Computer Supported Cooperative Work

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

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.
In: 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017..
Conference: USENIX-Security Usenix Security Symposium

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.
In: Proceedings of the 16th International Conference on Mobile and Ubiquitous Multimedia, MUM 2017, Stuttgart, Germany, November 26 - 29, 2017.

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.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts..
Conference: CHI International Conference on Human Factors in Computing Systems

Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017) Compositional abstractions of interconnected discrete-time stochastic control systems.
In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017.
Conference: CDC IEEE Conference on Decision and Control

Lee, Edward A. and Reineke, Jan and Zimmer, Michael
(2017) Abstract PRET Machines.
In: 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017.
Conference: RTSS Real Time Systems Symposium

Leibenger, Dominik and Ory, Stephan and Sorge, Christoph
(2017) Mail vom Rechtsanwalt? Herausforderungen sicherer Mandantenkommunikation.
In: Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

Leibenger, Dominik and Sorge, Christoph
(2017) sec-cs: Secure and Efficient Storage of Flat Contents on Untrusted Storage.
In: 2017 USENIX Annual Technical Conference (USENIX ATC '17).
Conference: USENIX Usenix Annual Technical Conference

Leibenger, Dominik and Sorge, Christoph
(2017) triviback: A Storage-Efficient Secure Backup System.
In: 42nd IEEE Conference on Local Computer Networks, LCN 2017, Singapore, October 9-12, 2017.
Conference: LCN IEEE Conference on Local Computer Networks

Lengál, Ondrej and Lin, Anthony Widjaja and Majumdar, Rupak and Rümmer, Philipp
(2017) Fair Termination for Parameterized Probabilistic Concurrent Systems.
In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, .

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.
In: Proceedings of the 21st International Academic Mindtrek Conference, AcademicMindtrek 2017, Tampere, Finland, September 20 - 21, 2017.

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.
In: Proceedings of the 2017 ACM International Conference on Interactive Experiences for TV and Online Video, Hilversum, The Netherlands, June 14-16, 2017.

Lessel, Pascal and Vielhauer, Alexander and Krüger, Antonio
(2017) CrowdChess: A System to Investigate Shared Game Control in Live-Streams.
In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2017, Amsterdam, The Netherlands, October 15-18, 2017.

Lessel, Pascal and Vielhauer, Alexander and Krüger, Antonio
(2017) Expanding Video Game Live-Streams with Enhanced Communication Channels: A Case Study.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017..
Conference: CHI International Conference on Human Factors in Computing Systems

Li, Wenbin and Leonardis, Ales and Fritz, Mario
(2017) Visual stability prediction for robotic manipulation.
In: 2017 IEEE International Conference on Robotics and Automation, ICRA 2017, Singapore, Singapore, May 29 - June 3, 2017.

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.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2017) Maliciously Secure Multi-Client ORAM.
In: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings.

Maisuradze, Giorgi and Backes, Michael and Rossow, Christian
(2017) Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo
(2017) SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan
(2017) Concurrency and Privacy with Payment-Channel Networks.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

Malavolta, Giulio and Schröder, Dominique
(2017) Efficient Ring Signatures in the Standard Model.
In: Advances in Cryptology - ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II.
Conference: ASIACRYPT International Conference on the Theory and Application of Cryptology and Information Security

Mandros, Panagiotis and Boley, Mario and Vreeken, Jilles
(2017) Discovering Reliable Approximate Functional Dependencies.
In: Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD).
Conference: KDD ACM International Conference on Knowledge Discovery and Data Mining

Marnau, Ninja
(2017) Die Blockchain im Spannungsfeld der Grundsätze der Datenschutzgrundverordnung.
In: INFORMATIK 2017, Workshop Recht und Technik.

Marx, Alexander and Vreeken, Jilles
(2017) Telling Cause from Effect by MDL-based Local and Global Regression.
In: Proceedings of the IEEE International Conference on Data Mining (ICDM).
Conference: ICDM IEEE International Conference on Data Mining

Mathis, Björn
(2017) Dynamic Tainting for Automatic Test Case Generation.
In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis.
Conference: ISSTA International Symposium on Software Testing and Analysis

Mathis, Björn and Avdiienko, Vitalii and Soremekun, Ezekiel and Böhme, Marcel and Zeller, Andreas
(2017) Detecting Information Flow by Mutating Input Data.
In: Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering.
Conference: ASE Automated Software Engineering Conference

Mavroforakis, Charalampos and Valera, Isabel and Gomez-Rodriguez, Manuel
(2017) Modeling the Dynamics of Learning Activity on the Web.
In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017.

Mehta, Aastha and Elnikety, Eslam and Harvey, Katura and Garg, Deepak and Druschel, Peter
(2017) Qapla: Policy compliance for database-backed systems.
In: 26th USENIX Security Symposium (USENIX Security 17).
Conference: USENIX-Security Usenix Security Symposium

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).
In: Proceedings of the Security Track at ACM Symposium on Applied Computing (SAC).

Milner, Kevin and Cremers, Cas and Jiangshan, Yu and Ryan, Mark
(2017) Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Mirza, Paramita and Razniewski, Simon and Darari, Fariz and Weikum, Gerhard
(2017) Cardinal Virtues: Extracting Relation Cardinalities from Text.
In: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017, Vancouver, Canada, July 30 - August 4, Volume 2: Short Papers.
Conference: ACL Association of Computational Linguistics

Mukherjee, Subhabrata and Popat, Kashyap and Weikum, Gerhard
(2017) Exploring Latent Semantic Factors to Find Useful Product Reviews.
In: Proceedings of the 2017 SIAM International Conference on Data Mining, Houston, Texas, USA, April 27-29, 2017..
Conference: SDM SIAM International Conference on Data Mining

Mukkamala, Mahesh Chandra and Hein, Matthias
(2017) Variants of RMSProp and Adagrad with Logarithmic Regret Bounds.
In: Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017.
Conference: ICML International Conference on Machine Learning

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.
In: Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

Möllers, Frederik and Vogelgesang, Stephanie and Krüger, Jochen and Echizen, Isao and Sorge, Christoph
(2017) Modelling Traffic Analysis in Home Automation Systems.
In: Cryptology and Network Security: 16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017, Proceedings.

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.
In: Trends und Communities der Rechtsinformatik: Tagungsband des 20. Internationalen Rechtsinformatik Symposions IRIS 2017 / Trends and Communities of Legal Informatics: Proceedings of the 20th International Legal Informatics Symposium IRIS 2017.

Nasri, Mitra and Brandenburg, Björn B.
(2017) An Exact and Sustainable Analysis of Non-preemptive Scheduling.
In: 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017.
Conference: RTSS Real Time Systems Symposium

Nasri, Mitra and Brandenburg, Björn B.
(2017) An Exact and Sustainable Analysis of Non-preemptive Scheduling.
In: 2017 IEEE Real-Time Systems Symposium (RTSS).
Conference: RTSS Real Time Systems Symposium

Nasri, Mitra and Brandenburg, Björn B.
(2017) Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems.
In: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Conference: RTAS IEEE Real-Time and Embedded Technology and Applications Symposium

Nguyen, Dat Ba and Theobald, Martin and Weikum, Gerhard
(2017) J-REED: Joint Relation Extraction and Entity Disambiguation.
In: Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017, Singapore, November 06 - 10, 2017.
Conference: CIKM ACM International Conference on Information and Knowledge Management

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.
In: Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS '17).
Conference: CCS ACM Conference on Computer and Communications Security

Nguyen, Quynh N. and Hein, Matthias
(2017) The Loss Surface of Deep and Wide Neural Networks.
In: Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017.
Conference: ICML International Conference on Machine Learning

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.
In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Oh, Seong Joon and Fritz, Mario and Schiele, Bernt
(2017) Adversarial Image Perturbation for Privacy Protection — A Game Theory Perspective.
In: IEEE International Conference on Computer Vision (ICCV), 2017.
Conference: ICCV IEEE International Conference on Computer Vision

Orekondy, Tribhuvanesh and Schiele, Bernt and Fritz, Mario
(2017) Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.
In: IEEE International Conference on Computer Vision (ICCV).
Conference: ICCV IEEE International Conference on Computer Vision

Pang, Jun and Zhang, Yang
(2017) DeepCity: A Feature Learning Framework for Mining Location Check-ins.
In: International Conference on Web and Social Media.

Pang, Jun and Zhang, Yang
(2017) Quantifying Location Sociality.
In: ACM Conference on Hypertext and Social Media.

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.
In: Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology, UIST 2017, Quebec City, QC, Canada, October 22 - 25, 2017.
Conference: UIST ACM Symposium on User Interface Software and Technology

Patel, P. and Vanga, Manohar and Brandenburg, Björn B.
(2017) TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference.
In: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Conference: RTAS IEEE Real-Time and Embedded Technology and Applications Symposium

Patrignani, Marco and Garg, Deepak
(2017) Secure Compilation and Hyperproperty Preservation.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Pellegrino, Giancarlo and Johns, Martin and Koch, Simon and Backes, Michael and Rossow, Christian
(2017) Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS ACM Conference on Computer and Communications Security

Pereira Borges Jr., Nataniel
(2017) Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications.
In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 10 - 14, 2017, Santa Barbara, CA, USA.
Conference: ISSTA International Symposium on Software Testing and Analysis

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.
In: Proceedings of the SIAM International Conference on Data Mining (SDM).
Conference: SDM SIAM International Conference on Data Mining

Podkopaev, Anton and Lahav, Ori and Vafeiadis, Viktor
(2017) Promising Compilation to ARMv8 POP.
In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.
Conference: ECOOP European Conference on Object-Oriented Programming

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.
In: Proceedings of the 26th International Conference on World Wide Web Companion, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

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.
In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017.

Raber, Frederic and Kosmalla, Felix and Krüger, Antonio
(2017) Fine-Grained Privacy Setting Prediction Using a Privacy Attitude Questionnaire and Machine Learning.
In: Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV.
Conference: Interact IFIP TC13 Conference on Human-Computer Interaction

Raber, Frederic and Krüger, Antonio
(2017) Towards Understanding the Influence of Personality on Mobile App Permission Settings.
In: Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV.
Conference: Interact IFIP TC13 Conference on Human-Computer Interaction

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.
In: Proceedings of the European Symposium on Research in Computer Security (ESORICS).

Rau, Andreas
(2017) Topic-driven testing.
In: Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on, Buenos Aires, Argentina.
Conference: ICSE International Conference on Software Engineering

Rocchetto, Marco and Tippenhauer, Nils Ole
(2017) Towards Formal Security Analysis of Industrial Control Systems.
In: Proceedings of the ACM Asia Conference on Computer and Communications Security (ASIACCS).

Rohrbach, Anna and Rohrbach, Marcus and Tang, Siyu and Oh, Seong Joon and Schiele, Bernt
(2017) Generating Descriptions with Grounded and Co-Referenced People.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017) Verified Spilling and Translation Validation with Repair.
In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings.
Conference: ITP Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Ruffing, Tim and Moreno-Sanchez, Pedro and Kate, Aniket
(2017) P2P Mixing and Unlinkable Bitcoin Transactions.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Sattar, Hosnieh and Bulling, Andreas and Fritz, Mario
(2017) Predicting the Category and Attributes of Visual Search Targets Using Deep Gaze Pooling.
In: Mutual Benefits of Cognitive and Computer Vision Workshop at International Conference on Computer Vision (ICCV-W).

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.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017..
Conference: CHI International Conference on Human Factors in Computing Systems

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.
In: IEEE International Conference on Computer Vision (ICCV).
Conference: ICCV IEEE International Conference on Computer Vision

Siby, Sandra and Maiti, Rajib Ranjan and Tippenhauer, Nils Ole
(2017) IoTScanner: Detecting Privacy Threats in IoT Neighborhoods.
In: Proceedings of the Workshop on IoT Privacy, Trust, and Security (IoTPTS), co-located with ASIACCS.

Simeonovski, Milivoj and Pellegrino, Giancarlo and Rossow, Christian and Backes, Michael
(2017) Who Controls the Internet? Analyzing Global Threats using Property Graph Traversals.
In: Proc. of the 26rd International Conference on World Wide Web (WWW 2017).
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

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.
In: Proceedings of the 2017 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, IL, USA, June 05 - 09, 2017.
Conference: SIGMETRICS Measurement and Modeling of Computer Systems

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.
In: Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, ICTD 2017, Lahore, Pakistan, November 16 - 19, 2017.

Soremekun, Ezekiel
(2017) Debugging with Probabilistic Event Structures.
In: Proceedings of the 39th International Conference on Software Engineering Companion.

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak
(2017) Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.
In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017.

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017) Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings.

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.
In: Proceedings of the 5th Symposium on Spatial User Interaction, SUI 2017, Brighton, United Kingdom, October 16 - 17, 2017.

Speicher, Marco and Siegel, Rudolf and Krüger, Antonio
(2017) ProductFinder: a location aware product information display for retail environments.
In: Proceedings of the 6th ACM International Symposium on Pervasive Displays, PerDis 2017, Lugano, Switzerland, June 7-9, 2017.

Speicher, Patrick and Steinmetz, Marcel and Gnad, Daniel and Hoffmann, Jörg and Gerevini, Alfonso
(2017) Beyond Red-Black Planning: Limited-Memory State Variables.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Spieldenner, Torsten and Byelozyorov, Sergiy and Guldner, Michael and Slusallek, Philipp
(2017) FiVES: An Aspect-Oriented Virtual Environment Server.
In: 2017 International Conference on Cyberworlds, CW 2017, Chester, United Kingdom, September 20-22, 2017.

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.
Conference: IJCAI International Joint Conference on Artificial Intelligence

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.
In: Proceedings of the 26th USENIX Security Symposium (USENIX Security '17).
Conference: USENIX-Security Usenix Security Symposium

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.
In: Proceedings of the 29th International Conference on Scientific and Statistical Database Management, Chicago, IL, USA, June 27-29, 2017.
Conference: SSDBM International Conference on Scientific and Statistical Data Base Management

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.
In: Proceedings of the 10th USENIX Workshop on Cyber Security Experimentation and Test (CSET '17).

Sun, Qianru and Schiele, Bernt and Fritz, Mario
(2017) A Domain Based Approach to Social Relation Recognition.
In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
Conference: CVPR IEEE Conference on Computer Vision and Pattern 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.
In: 26th International World Wide Web Conference (WWW'17).
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

Tandon, Niket and de Melo, Gerard and Weikum, Gerhard
(2017) WebChild 2.0 : Fine-Grained Commonsense Knowledge Distillation.
In: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017, Vancouver, Canada, July 30 - August 4, System Demonstrations.
Conference: ACL Association of Computational Linguistics

Tang, Siyu and Andriluka, Mykhaylo and Andres, Bjoern and Schiele, Bernt
(2017) Multiple People Tracking by Lifted Multicut and Person Re-identification.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

Tanon, Thomas Pellissier and Stepanova, Daria and Razniewski, Simon and Mirza, Paramita and Weikum, Gerhard
(2017) Completeness-Aware Rule Learning from Knowledge Graphs.
In: The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I.
Conference: ISWC IEEE International Symposium on Wearable Computers

Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan
(2017) Ascertaining Uncertainty for Efficient Exact Cache Analysis.
In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
Conference: CAV Computer Aided Verification

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.
In: UNSPECIFIED.

Upadhyay, Utkarsh and Valera, Isabel and Gomez-Rodriguez, Manuel
(2017) Uncovering the Dynamics of Crowdlearning and the Value of Knowledge.
In: Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, WSDM 2017, Cambridge, United Kingdom, February 6-10, 2017.
Conference: WSDM ACM International Conference on Web Search and Data Mining

Vadgama, Nirzaree and Steimle, Jürgen
(2017) Flexy: Shape-Customizable, Single-Layer, Inkjet Printable Patterns for 1D and 2D Flex Sensing.
In: Proceedings of the Tenth International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2017, Yokohama, Japan, March 20-23, 2017.
Conference: TEI Tangible, Embedded, and Embodied Interaction

Vafeiadis, Viktor
(2017) Program Verification Under Weak Memory Consistency Using Separation Logic.
In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I.
Conference: CAV Computer Aided Verification

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.
In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017.

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.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017..
Conference: CHI International Conference on Human Factors in Computing Systems

Weigel, Martin and Nittala, Aditya Shekhar and Olwal, Alex and Steimle, Jürgen
(2017) SkinMarks: Enabling Interactions on Body Landmarks Using Conformal Skin Electronics.
In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017..
Conference: CHI International Conference on Human Factors in Computing Systems

Weikum, Gerhard
(2017) What Computers Should Know, Shouldn't Know, and Shouldn't Believe.
In: Proceedings of the 26th International Conference on World Wide Web Companion, Perth, Australia, April 3-7, 2017.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

Wiehr, Frederik and Daiber, Florian and Kosmalla, Felix and Krüger, Antonio
(2017) ARTopos: augmented reality terrain map visualization for collaborative route planning.
In: Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017, Maui, HI, USA, September 11-15, 2017.
Conference: UbiComp ACM International Joint Conference on Pervasive and Ubiquitous Computing (PERVASIVE and UbiComp combined from 2013)

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.
In: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017.

Wiehr, Frederik and Kosmalla, Felix and Daiber, Florian and Krüger, Antonio
(2017) FootStriker: an EMS-based foot strike assistant for running.
In: Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017, Maui, HI, USA, September 11-15, 2017.
Conference: UbiComp ACM International Joint Conference on Pervasive and Ubiquitous Computing (PERVASIVE and UbiComp combined from 2013)

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.
In: Proceedings of Transportation Research Board Annual Meeting (TRB).

Withana, Anusha I. and Steimle, Jürgen
(2017) Personalized Interactive Surfaces with Printed Electronics.
In: Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017.
Conference: ISS ACM International Conference on Interactive Surfaces and Spaces (was International Workshop on Horizontal Interactive Human-Computer Systems: Tabletop)

Xian, Yongqin and Schiele, Bernt and Akata, Zeynep
(2017) Zero-shot learning – The Good, the Bad and the Ugly.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

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.
In: 26th International World Wide Web Conference (WWW'17).
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

Zafar, Muhammad Bilal and Valera, Isabel and Gomez-Rodriguez, Manuel and Gummadi, Krishna P.
(2017) Fairness Constraints: Mechanisms for Fair Classification.
In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017, 20-22 April 2017, Fort Lauderdale, FL, USA.
Conference: AISTATS International Conference on Artificial Intelligence and Statistics

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.
In: Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4-9 December 2017, Long Beach, CA, USA.
Conference: NeurIPS Conference on Neural Information Processing Systems

Zarezade, Ali and Upadhyay, U. and Rabiee, H. and Gomez-Rodriguez, Manuel
(2017) RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks.
In: WSDM '17: Proceedings of the 10th ACM International Conference on Web Search and Data Mining.
Conference: WSDM ACM International Conference on Web Search and Data Mining

Zeller, Andreas
(2017) Search-Based Testing and System Testing: A Marriage in Heaven.
In: 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017.

Zhang, Shanshan and Benenson, Rodrigo and Schiele, Bernt
(2017) CityPersons: A Diverse Dataset for Pedestrian Detection.
In: 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017).
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition

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.
In: 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops, Honolulu, HI, USA, July 21-26, 2017.

Ziegler, David and Abujabal, Abdalghani and Roy, Rishiraj Saha and Weikum, Gerhard
(2017) Efficiency-aware Answering of Compositional Questions using Answer Type Prediction.
In: Proceedings of the Eighth International Joint Conference on Natural Language Processing, IJCNLP 2017, Taipei, Taiwan, November 27 - December 1, 2017, Volume 2: Short Papers.

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.
In: 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 1: Conference Papers.

Çiçek, Ezgi and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan
(2017) Relational cost analysis.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

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.
UNSPECIFIED
.

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.
Landtag des Saarlandes
.

This list was generated on Sat Dec 21 01:53:13 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.