DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Source URL: www.react.uni-saarland.de

• Automated theorem proving
• Concolic testing
• Software testing
• Equations
• Z3
• Solver
• Equation solving
• Mathematics
• Abstraction
• Software engineering

The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

Source URL: www.react.uni-saarland.de

• Numerical software
• Model checking
• Neuropsychology
• Solver
• Problem solving

Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Source URL: icaps16.icaps-conference.org

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Mathematics
• Information science
• Information retrieval
• C*-algebras

Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University

Source URL: www.react.uni-saarland.de

Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Theoretical computer science
• Heuristic
• State space search
• Mathematical optimization
• Algorithm
• Mathematics
• Philosophy of mathematics
• Cognitive science

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Source URL: www.react.uni-saarland.de

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany

Source URL: prosecco.gforge.inria.fr

Gray-box Learning of Serial Compositions of Mealy Machines Andreas Abel and Jan Reineke Department of Computer Science Saarland University Saarbr¨

Source URL: embedded.cs.uni-saarland.de

Preprocessing CVS Data for Fine-Grained Analysis Thomas Zimmermann Saarland University, Saarbr¨ucken, Germany Peter Weißgerber Cath. Univ. of Eichst¨att-Ingolstadt, Germany

Source URL: www.st.cs.uni-saarland.de