15th International Workshop on Boolean Problems | Times are in CEST (Central European Summer Time)

Program

University of Bremen | MZH 1460

Wednesday | September 21


17:00 - 18:30 Welcome Reception


Thursday | September 22


9:00 - 9:30 Registration

9:30 - 10:30 | Keynote 1
Chair: Rolf Drechsler

Prof. Martin Fränzle
Carl von Ossietzky Universität Oldenburg
Department of Computing Science


Applying CDCL SAT-Solving Principles to Uncountable Numeric Domains and Undecidable Fragments of Arithmetic

» More information

10:30 - 11:00 Coffee Break

11:00 - 12:00 | Session 1 | Advances in Logic Synthesis
Chair: Philipp Niemann

Fast AIG-based Approximate Logic Synthesis
Annika Heil, Friedrich-Alexander-University Erlangen-Nuremberg and Oliver Keszoecze, Friedrich-Alexander-University Erlangen-Nuremberg

External Don't Cares in Logic Synthesis
Siang-Yun Lee, Ecole Polytechnique Fédérale de Lausanne (EPFL) and Heinz Riener, Cadence Design Systems and Giovanni De Micheli, Ecole Polytechnique Fédérale de Lausanne (EPFL)


12:00 - 13:15 | Lunch

13:15 - 14:15 | Session 2 | Properties of Functions & Systems
Chair: Oliver Keszöcze

Properties of the Reed-Muller Spectrum of Maiorana-McFarland Boolean Bent Functions
Claudio Moraga, TU Dortmund, Radomir S. Stanković, Faculty of Electronic Engineering and Milena Stanković, Serbian Academy of Sciences and Arts

Towards System-level Assertions for Heterogeneous Systems
Muhammad Hassan, DFKI GmbH, Thilo Vörtler, COSEDA Technologies GmbH, Karsten Einwich, COSEDA Technologies GmbH, Rolf Drechsler, University of Bremen, DFKI GmbH and Daniel Große, Johannes Kepler University


14:15 - 14:45 | Coffee Break

14:45 - 15:45 | Session 3 | Security-Measures and -assessment
Chair: Muhammad Hassan

SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
Marcel Merten, University of Bremen, Mohammed E. Djeridane, University of Bremen, Sebastian Huhn, University of Bremen, DFKI GmbH and Rolf Drechsler, University of Bremen, DFKI GmbH

Autosymmetric and D-reducible Functions: Theory and Application to Security
Anna Bernasconi, Università di Pisa, Valentina Ciriani, Università degli Studi di Milano and Licia Monfrini, Università degli Studi di Milano



17:00 - 22:00 | Social Event

Friday | September 23




9:00 - 10:00 | Keynote 2
Chair: Sebastian Huhn

Dr. Stefan Frehse
matched.io


Should we apply brute force techniques to boost your developer profile? Yes, we should!

» More information

10:00 - 10:30 | Session 4 | Algebraic Structures
Chair: Bernd Steinbach

Modular Multiplication Based on Boolean Representations
Danila Gorodecky, Universidade de Lisboa, EPAM Systems and Leonel Sousa, Universidade de Lisboa


10:30 - 11:00 | Coffee Break

11:00 - 12:00 | Session 5 | Emerging Applications
Chair: Payam Habiby

Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs
Ahmad Al-Zoubi, Hamburg University of Technology, Center for Data and Computing in Natural Sciences and Görschwin Fey, Hamburg University of Technology, Center for Data and Computing in Natural Sciences

Thirty-six Officers of Euler - New Insights Computed Using the XBOOLE-Monitor XBM 2
Bernd Steinbach, Freiberg University of Mining and Technology and Christian Posthoff, The University of the West Indies


12:00 - 13:15 | Lunch