Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer Aymeric Genêt Denis Butin, Juliane Krämer,

Source URL: kannwischer.eu

• Cryptography
• Hashing
• Post-quantum cryptography
• Digital Signature Standard
• Cryptographic hash functions
• HMAC
• XMSS
• SHA-2
• Hash function
• Hash-based cryptography
• Digital Signature Algorithm
• BLAKE

Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

Source URL: cgi.csc.liv.ac.uk

• Markov models
• Concurrency
• Graph theory
• Markov chain
• Stochastic
• Petri net
• Computing
• Mathematics
• Formal methods

STATE COORDINATOR CHIEF DEPUTY POLICY & PROGRAM ANALYSIS EXTERNAL AFFAIRS

Source URL: www.vaemergency.gov

An Analysis of the Testimony of Judge Brett Kavanaugh on Issues Relating to Reproductive Rights Before the Senate Judiciary Committee September 10, 2018 Judge Brett Kavanaugh testified before the Senate Judiciary Committ

Source URL: www.reproductiverights.org

• Supreme Court of the United States
• Case law
• Law
• Conservatism in the United States
• Brett Kavanaugh
• Roe v. Wade
• Planned Parenthood v. Casey
• Gonzales v. Carhart
• John Roberts
• Planned Parenthood
• Antonin Scalia
• Samuel Alito

HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer

Source URL: www.ieee-security.org

• Cryptography
• Computing
• Internet
• Internet Standards
• Internet protocols
• Cryptographic protocols
• E-commerce
• Public-key cryptography
• Transport Layer Security
• Hostname
• X.509
• Public key certificate

DECRED ANALYSIS Fabien Pelissier August 1, 2018 Disclosure: The writer of this report do have a position in Decred.

Source URL: www.canalcrypto.com

• Cryptocurrencies
• Alternative currencies
• Computing
• Economy
• Concurrent computing
• Blockchains
• Digital currencies
• Bitcoin
• Decred
• Proof-of-stake
• Atomic swap
• Litecoin

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

Mathematisches Forschungsinstitut Oberwolfach Report NoDOI: OWRKomplexe Analysis

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Complex manifolds
• Moduli space
• Fano variety
• Genus of a multiplicative sequence
• Projective variety
• Hermitian symmetric space
• Differential geometry of surfaces
• Hyperbolic metric space

How Gamification Affects Physical Activity: ! Large-scale Analysis of Walking Challenges in a Mobile Application Ali Shameli, Tim Althoff, Amin Saberi, Jure Leskovec

Source URL: www.timalthoff.com

• Gamification
• Gaming
• Exergaming
• Stanford
• Gbel
• Human behavior
• Psychology

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline