Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U

Source URL: correctness-workshop.github.io

• Parallel computing
• Computer programming
• Application programming interfaces
• IT infrastructure
• Computing
• Fortran
• OpenMP
• Thread

Identifying Personal DNA Methylation Profiles by Genotype Inference Michael Backes∗ , Pascal Berrang∗ , Matthias Bieg† , Roland Eils†‡ , Carl Herrmann†‡ , Mathias Humbert∗ , Irina Lehmann§ ∗ CISPA,

Source URL: www.ieee-security.org

• Genetics
• Biology
• Epigenetics
• DNA
• Genomics
• Molecular biology
• Genetic mapping
• DNA methylation
• Bisulfite sequencing
• Methylation
• CpG site
• Bayesian tool for methylation analysis

Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer 16 April 2018 CRYPTACUS Training School,

Source URL: kannwischer.eu

• Cryptography
• Post-quantum cryptography
• Public-key cryptography
• XMSS
• Power analysis
• Random number generation
• Side-channel attack
• Cryptographic hash function
• Quantum cryptography
• RSA
• Digital signature
• Pseudorandom number generator

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

Practical Post-Quantum Cryptography for Trusted Computing Matthias J. Kannwischer, PhD Student Workshop on Trusted Computing and its Applications 25 January 2018

Source URL: kannwischer.eu

• Cryptography
• Post-quantum cryptography
• Trusted Computing
• Public-key cryptography
• Quantum cryptography
• Key size
• Advanced Encryption Standard process

Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15

Source URL: qav.comlab.ox.ac.uk

• Media access control
• IEEE 802
• Computing
• Data transmission
• Ethernet
• Wireless networking
• IEEE 802.15.4
• Carrier-sense multiple access with collision avoidance
• Carrier-sense multiple access
• Medium access control
• Zigbee
• Exponential backoff

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hash-based cryptography
• Hashing
• Merkle signature scheme
• Digital signature
• Merkle tree
• Cryptographic hash function
• RSA
• Hash function
• Quantum digital signature

Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Source URL: mpg.is

• Software engineering
• Programming language theory
• Computing
• Type theory
• Data types
• Functional languages
• Type systems
• Lambda calculus
• HindleyMilner type system
• Haskell
• Agda
• Dependent type

Crowd-GPS-Sec: Leveraging Crowdsourcing to Detect and Localize GPS Spoofing Attacks Kai Jansen∗ , Matthias Sch¨afer† , Daniel Moser‡ , Vincent Lenders§ , Christina P¨opper¶ and Jens Schmitt† ∗ Ruhr-Universi

Source URL: www.lenders.ch

• Global Positioning System
• Avionics
• Finance
• Economy
• Money
• Computer network security
• Spoofing attack
• Navigation
• FLARM
• Automatic dependent surveillance broadcast
• GPS navigation device
• GPS signals

PDF Document

Source URL: matthias.hullin.net