PuroVerde eG, Goethestr. 20, 79100 Freiburg Telefon: Fax: Vorstand: Leo Pröstler, Heiko Rock Aufsichtsratsvorsitzender: Ulrich Martin Drescher Genossenschaftsregister: GnR, Amtsgeric

Source URL: www.puroverde.de

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, and Alexandra Weber Computer Science De

Source URL: www.mais.informatik.tu-darmstadt.de

SPASCA: Secure-Programming Assistant and Side-Channel Analyzer Technical Report TUD-CSNovember 2017 Ximeng Li, Heiko Mantel, Johannes Schickel, Markus Tasch, Iva Toteva, Alexandra Weber

Source URL: www.mais.informatik.tu-darmstadt.de

MCTF AND SCALABILITY EXTENSION OF H.264/AVC Heiko Schwarz, Detlev Marpe, and Thomas Wiegand Fraunhofer Institute for Telecommunications – Heinrich Hertz Institute, Image Processing Department Einsteinufer 37, DB

Source URL: ip.hhi.de

Towards Accelerated Usage Control Based on Access Correlations Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel Department of Computer Science, TU Darmstadt, Germany

Source URL: www.mais.informatik.tu-darmstadt.de

ANALYSIS OF HIERARCHICAL B PICTURES AND MCTF Heiko Schwarz, Detlev Marpe, and Thomas Wiegand Fraunhofer Institute for Telecommunications – Heinrich Hertz Institute, Image Processing Department Einsteinufer 37, 10587 Be

Source URL: ip.hhi.de

VIDEO CODING USING TEXTURE ANALYSIS AND SYNTHESIS Patrick Ndjiki-Nya, Bela Makai, Aljoscha Smolic, Heiko Schwarz, and Thomas Wiegand Fraunhofer Institute for Communications Engineering – Heinrich Hertz Institute (HHI)

Source URL: ip.hhi.de

Bayesian Functional Optimization Ngo Anh Vien Heiko Zimmermann Marc Toussaint

Source URL: ipvs.informatik.uni-stuttgart.de

Eliminating Timing Leaks by Unification (Extended Abstract) Boris K¨opf and Heiko Mantel ETH Z¨ urich, Switzerland {boris.koepf,heiko.mantel}@inf.ethz.ch

Source URL: software.imdea.org