LevPredict A fully collateralized decentralised Ethereum-based binary and multi-category prediction market model Leverj.io V0.3 April 26, 2018 Scope

Source URL: www.leverj.io

• Ethereum
• Cryptocurrencies
• Blockchains
• Alternative currencies
• Concurrent computing
• Distributed computing
• Numismatics
• ERC-20
• Kin
• Augur
• ETH Zurich
• Token coin

Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com

Dependency Assessment: Binary Prepared by FP Complete For The Cardano Foundation July 2018

Source URL: cardano.org

• Character encoding
• Combinatorics
• String
• Computing
• Mathematics

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

Source URL: cakeml.org

• Theoretical computer science
• Formal methods
• Logic in computer science
• Software engineering
• Proof assistants
• Automated theorem proving
• Formal verification
• Interactive Theorem Proving
• Isabelle
• Coq
• HOL
• Correctness

Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection

Source URL: acmccs.github.io

• Graph theory
• Mathematics
• Topological graph theory
• Discrete mathematics
• Planar graphs
• Artificial neural network
• Deep learning
• Graph embedding
• Graph
• Neural architecture search

Proceedings of Machine Learning Research 81:1–12, 2018 Conference on Fairness, Accountability, and Transparency The Cost of Fairness in Binary Classification Aditya Krishna Menon

Source URL: proceedings.mlr.press

LNCSFeature Extraction Based on Co-occurrence of Adjacent Local Binary Patterns

Source URL: www.cvlab.cs.tsukuba.ac.jp

2013 IEEE Symposium on Security and Privacy Practical Control Flow Integrity & Randomization for Binary Executables Chao Zhang1 , Tao Wei1,2∗ , Zhaofeng Chen1 , Lei Duan1 , L´aszl´o Szekeres2,3+ , Stephen McCamant2,

Source URL: seclab.cs.sunysb.edu

X-Force: Force-Executing Binary Programs for Security Applications Fei Peng, Zhui Deng, Xiangyu Zhang, and Dongyan Xu, Purdue University; Zhiqiang Lin, The University of Texas at Dallas; Zhendong Su, University of Califo

Source URL: web.cse.ohio-state.edu

The Cost of Fairness in Binary Classification Supplementary material for “The Cost of Fairness in Binary Classification” Appendix A. Proofs of results in main body Proof [Proof of Lemma 1] By definition,

Source URL: proceedings.mlr.press