Refund attacks on Bitcoin’s Payment Protocol Patrick McCorry, Siamak F. Shahandashti, Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@ncl.ac.uk Abstract.

Source URL: hongkong2015.scalingbitcoin.org

KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

Source URL: arxiv.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Procedural programming languages
• High-level programming languages
• Object-oriented programming
• Immutable object
• This
• Rust
• Const

VSMC MIMO: A Spectral Efficient Scheme for Cooperative Relay in Cognitive Radio Networks Chao Kong∗ , Zengwen Yuan∗ , Xushen Han∗ , Feng Yang∗ , Xinbing Wang†‡ , Tao Wang§ , Songwu Lu¶ ∗ Department of El

Source URL: iwct.sjtu.edu.cn

A Smart Contract for Boardroom Voting with Maximum Voter Privacy Patrick McCorry, Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@

Source URL: eprint.iacr.org

• Cryptocurrencies
• Blockchains
• Ethereum
• Concurrent computing
• Distributed computing
• Cross-platform software
• Computing
• Bitcoin
• Smart contract
• RootStock
• Helios Voting
• The DAO

Effective Parallelization of Loops in the Presence of I/O Operations Min Feng Rajiv Gupta

Source URL: web.njit.edu

TUBC3 Proceedings of IPAC2015, Richmond, VA, USA RECENT RESULTS FROM FEL SEEDING AT FLASH∗ J. Bödewadt† , S. Ackermann, R. Aßmann, N. Ekanayake, B. Faatz, G. Feng, I. Hartl, R. Ivanov,

Source URL: accelconf.web.cern.ch

Understanding Genetic Causes of Irritable Bowel Syndrome Through Learned Models of Stress-Related and Inflammatory Bowel Syndrome Diseases Jean Feng June 5, 2012 Abstract

Source URL: biochem158.stanford.edu

Flora of China 24: BROMELIACEAE 凤梨科 feng li ke Ma Weiliang (马炜梁)1; Bruce Bartholomew2 Herbs or rarely shrubs, epiphytic, lithophytic, or terrestrial. Leaves spirally arranged, usually rosulate, ses

Source URL: flora.huh.harvard.edu

Query-based Music Recommendations via Preference Embedding Chih-Ming Chen∗,1,2 , Ming-Feng Tsai1 , Yu-Ching Lin3 , Yi-Hsuan Yang2 1 Department of Computer Science,

Source URL: tigpsnhcc.iis.sinica.edu.tw

DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities? Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University, UK {siamak.shahandashti,feng.hao}@ncl.ac.uk

Source URL: eprint.iacr.org

• Voting
• Politics
• Electronic voting
• Election technology
• Electoral fraud
• Punchscan
• Scantegrity
• Voting machine
• Ballot
• Bingo voting
• End-to-end auditable voting systems
• Voter-verified paper audit trail