The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2

Source URL: blockchain.princeton.edu

• Bitcoin
• Cryptocurrencies
• Free software
• Money
• Economy
• Alternative currencies
• Digital currencies
• Decentralization
• SegWit
• Blockchain
• Mining pool
• Satoshi Nakamoto

Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Computer memory
• System software
• Non-volatile memory
• Embedded Linux
• UBIFS
• Flash memory
• Memory Technology Device
• Flash file system
• Wear leveling
• Data

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

1    An René Weber  Leiter Abteilung Märkte, Botschafter  Eidg. Finanzdepartement EFD  

Source URL: swissfinte.ch

Decentralized Energy Market WHITEPAPER An energy trading platform that utilises blockchain technology to create a new disruptive model for buying and selling electricity

Source URL: suncontract.org

• Energy
• Universe
• Energy economics
• Nature
• Energy policy
• Renewable energy
• Climate change policy
• Energy development
• Sustainable energy
• World energy consumption
• Energy market
• Solar power

Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Note: This decision came into force. English is not an official language of the Swiss Confed

Source URL: www.weko.admin.ch

• Travel
• Expedia Group
• Marketing
• Pricing
• Booking.com
• Airline tickets
• Hotels.com
• Office of Fair Trading
• Travel agency
• Resale price maintenance
• Booking Holdings
• Booking

HØST 2017 SCENEKUNST SCENEKUNST ABOUT RIMI/IMIR SceneKunst (RISK) is an artist

Source URL: www.imirscenekunst.no

• Fieldworks vzw
• Yukiko Shinozaki
• Mette Edvardsen
• Dance
• Avdal
• Shinozaki
• BIT Teatergarasjen
• Heine
• Performing arts
• Entertainment
• Heine Rsdal Avdal

First published November 8, 1996. Original raw text file: http://www.phrack.com/issues.html?issue=49&id=14&mode=txt This version is based on an HTML conversion by Prabhaker Mateti. It fixes errors in the original, with n

Source URL: www.cis.upenn.edu

• Computing
• Software engineering
• Computer programming
• Software bugs
• Computer errors
• Memory management
• C standard library
• X86 architecture
• Stack buffer overflow
• Stack
• Segmentation fault
• Buffer overflow

Thread in Commercial Backgrounder September 2018 An introduction to Thread, its Network Topology and Application Support

Source URL: www.threadgroup.org

• Computing
• IEEE 802
• Wireless networking
• Information and communications technology
• Network architecture
• Mesh networking
• IPv6
• Building automation
• 6LoWPAN
• Thread
• Internet of things
• Zigbee

Message from the NSDI ’18 Program Co-Chairs Welcome to NSDI ’18! Over the years, NSDI has established itself as the top venue for work on networked and distributed systems. This year’s iteration is no exception, an

Source URL: www.usenix.org

• Geographic data and information
• Aditya Akella
• OMB Circular A-16
• USENIX
• Seshan
• Computing
• Information