A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog

Source URL: hacken.io

• Cryptocurrencies
• Ethereum
• Alternative currencies
• Blockchains
• Numismatics
• Economy
• Money
• Cross-platform software
• Initial coin offering
• Token
• Kin
• Draft:Bancor protocol

Corporate style guideline V1.0 1

Source URL: coronalabs.com

• Software development
• Computing
• Software
• Corona
• Mobile software

Breaking Symmetric Cryptosystems using Quantum Period Finding Marc Kaplan1,2 , Ga¨etan Leurent3 Anthony Leverrier3 , and Mar´ıa Naya-Plasencia3 1

Source URL: who.rocq.inria.fr

• Cryptography
• Quantum information science
• Emerging technologies
• Quantum computing
• Quantum cryptography
• Quantum algorithm
• Block cipher
• Quantum mechanics
• Post-quantum cryptography
• Quantum key distribution
• Feistel cipher
• Data Encryption Standard

Privacy-Enhancing Overlays in Bitcoin Sarah Meiklejohn (University College London) Claudio Orlandi (Aarhus University) 1

Source URL: smeiklej.com

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

AMAZON WEB SERVICESv1 1

Source URL: d1.awsstatic.com

Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1

Source URL: cakeml.org

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Type theory
• Predicate logic
• Monad
• Algebraic data type
• Conditional
• Expression
• Quantifier
• Standard ML

Improved Generic Attacks Against Hash-based MACs and HAIFA? Itai Dinur1 and Ga¨etan Leurent2 1 ´

Source URL: who.rocq.inria.fr

• Cryptography
• Cryptographic hash functions
• Error detection and correction
• Hashing
• Message authentication codes
• HMAC
• Hash function
• SHA-2
• Preimage attack
• SHA-1
• Streebog
• SHA-3

Form LR-1 (rev. 6-97) Office use only

Source URL: lobby.ncsbe.gov

• Legal professions
• Law
• Express mail
• United States Postal Service
• Solicitor
• Solicitation
• Human behavior
• Economy

1 디스트릭트0x 네트워크 백서 v0년 9월 14일

Source URL: district0x.io