An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017

Source URL: arxiv.org

• Cryptocurrencies
• Blockchains
• Economy
• Cross-platform software
• Money
• Concurrent computing
• Alternative currencies
• Ethereum
• Smart contract
• Counterparty
• RootStock
• Bitcoin

Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen

Source URL: files.sri.inf.ethz.ch

Berne, 9 juinCharte relative à l’organisation de modes de travail flexibles et indépendants du lieu Évolution des modes de travail

Source URL: work-smart-initiative.ch

MLP on Wednesday, July 18th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Source URL: lara.epfl.ch

• Software engineering
• Computer programming
• Computing
• Computational neuroscience
• Object-oriented programming languages
• Cross-platform software
• Software testing
• Program analysis
• Software bug
• Type system
• Artificial neural network
• Fuzzing

SMART BUILDINGS Sustainable offices for the cities of the future An office building in Amsterdam has been designed as a zero-carbon building that occasionally generates more power than it consumes and uses

Source URL: perspectives.pictet.com

• Construction
• Natural environment
• Low-energy building
• Sustainable building
• Sustainable design
• Sustainable architecture
• Building engineering
• Environmental design
• Green building
• Zero-energy building
• BREEAM
• Greenhouse

Wormhole: A Smart Contract Solution for Bitcoin Cash Abstract Born at block height 478,558, Bitcoin Cash (BCH) has been dedicated to bringing a reliable electronic cash to the world and fulfilling Satoshi’s original vi

Source URL: www.wormhole.cash

• Cryptocurrencies
• Computing
• Concurrent computing
• Currency
• Ethereum
• Bitcoin Cash
• Blockchain
• Bitcoin
• Smart contract

CHAPTER 160 SWITZERLAND Workshop Smart Cities BaselGenevaRev. 1.1 –

Source URL: www.asisonline.ch

• Prevention
• Emergency management
• Safety
• Disaster preparedness
• Business continuity
• National security
• Internet of things
• Humanitarian aid
• Resilience
• Smart city
• Computer security
• Urban resilience

SEVENTH FRAMEWORK PROGRAMME Trustworthy ICT Project Title: Enhanced Network Security for Seamless Service Provisioning in the Smart Mobile Ecosystem

Source URL: mavroud.is

• Mobile technology
• Technology
• Information and communications technology
• Mobile telecommunications
• Computer network security
• Femtocell
• Wi-Fi
• Anomaly detection
• GSM
• Generic Access Network
• SMS
• Network security

Version 1.0 Introduction Flexible Smart Contract Interaction 1. Quota management for smart contract’s running time

Source URL: www.ultrain.io