Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol. 1 (1–24) ON NUMBERS, GERMS, AND TRANSSERIES Matthias Aschenbrenner, Lou van den Dries and Joris van der Hoeven

Source URL: eta.impa.br

• Mathematics
• Algebra
• Abstract algebra
• Field theory
• Asymptotic analysis
• Algebraic structures
• Transseries
• Calculus
• Hardy field
• Lou van den Dries
• Matthias Aschenbrenner
• Infinitesimal

Toward a Taxonomy and Attacker Model for Secure Routing Protocols Matthias Hollick Cristina Nita-Rotaru

Source URL: www.netsec.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Network architecture
• Routing
• IP routing
• Computer network
• Router
• Source routing
• Wireless ad hoc network
• Control plane
• Link-state routing protocol

DynamoGraph: A Distributed System for Large-scale, Temporal Graph Processing, its Implementation and First Observations Matthias Steinbauer Gabriele Anderst-Kotsis

Source URL: gdac.uqam.ca

• Graph theory
• NP-complete problems
• Crowdsourcing
• PageRank
• Search engine optimization
• Graph
• Line graph
• Planar separator theorem

Differential Power Analysis and Fault Attacks on Hash-Based Signature Schemes Matthias J. Kannwischer 27 March 2018 Radboud University, Nijmegen, The Netherlands

Source URL: kannwischer.eu

• Cryptography
• Cryptographic hash functions
• Post-quantum cryptography
• Hashing
• Search algorithms
• Power analysis
• XMSS
• Hash function
• SHA-2
• DPA
• Digital signature
• Crypt

OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†

Source URL: www.lenders.ch

Physical Attack Vulnerability of Hash-Based Signature Schemes Verwundbarkeit von Hash-basierten Signaturverfahren durch Physikalische Angriffe Master-Thesis von Matthias Julius Kannwischer Tag der Einreichung:

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hashing
• Hash-based cryptography
• XMSS
• Cryptographic hash function
• Merkle signature scheme
• Digital signature
• HMAC
• RSA
• Power analysis

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.ece.northwestern.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Type systems
• Lambda calculus
• Subroutines
• Data types
• Gradual typing
• Racket
• Go
• Programming language

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.ece.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Eiffel
• Objective-C
• Contract
• Scope
• Exception handling

Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer Juliane Kr¨amer Aymeric Genˆet Denis Butin

Source URL: kannwischer.eu

• Cryptography
• Post-quantum cryptography
• Public-key cryptography
• XMSS
• Elliptic curve cryptography
• Power analysis
• Hash function
• Elliptic-curve DiffieHellman
• Hash-based cryptography

Fast Ideal Lattice-Based KEMs on ARM Cortex-M4 Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe September 03, 2018

Source URL: kannwischer.eu

• Mathematics
• Algebra
• Abstract algebra
• Post-quantum cryptography
• Multiplication
• Lattice-based cryptography
• Cryptography
• Karatsuba algorithm
• NTRU
• Lattice
• Polynomial ring
• Field extension