Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0

Source URL: www.lsi.upc.edu

ULedger Technical Approach Technical White Paper Taulant Ramabaja, Josh McIver, Pete Anewalt, Dave Otander November, 2017

Source URL: www.uledger.co

• Cryptocurrencies
• Blockchains
• Bitcoin
• Computing
• Alternative currencies
• Information science
• Concurrent computing
• Cross-platform software
• Ethereum
• Merkle tree
• Fork
• Hash list

Decoy Routing: Toward Unblockable Internet Communication Josh Karlin Daniel Ellard

Source URL: www.usenix.org

• Computing
• Computer networking
• Information and communications technology
• Data transmission
• Internet architecture
• Internet protocols
• Internet privacy
• Network performance
• Proxy server
• Router
• SOCKS
• Internet protocol suite

Making Data Honest White Paper Josh McIver, Taulant Ramabaja, Pete Anewalt, Dave Otander January 21,

Source URL: www.uledger.co

• Cryptocurrencies
• Blockchains
• Computing
• Data management
• Alternative currencies
• Information
• Cross-platform software
• Bitcoin
• Data integrity
• Ethereum
• Smart contract
• Data quality

Class Identification in Modern Democracies: A Comparative Study of its Sources and Effects by Josh P. Curtis

Source URL: tspace.library.utoronto.ca

• Economy
• Social inequality
• Economic inequality
• Distribution of wealth
• Income inequality metrics
• Economic inequality in the United States
• Welfare economics
• Gini coefficient
• Inequality
• Social mobility
• Income inequality in the United States

This PDF is a selection from an out-of-print volume from the National Bureau of Economic Research Volume Title: Innovation Policy and the Economy, Volume 1 Volume Author/Editor: Adam B. Jaffe, Josh Lerner and Scott Stern

Source URL: www.nber.org

• Economy
• Macroeconomics
• Innovation
• Economic growth
• Innovation economics

REPUBLICAN CANDIDATES U.S. Senator Josh Hawley State Auditor

Source URL: www.sos.mo.gov

• Elections in the United States
• Maryland county offices elections
• Texas House of Representatives election

Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research /

Source URL: mbernhard.com

• Voting
• Politics
• Elections
• Group decision-making
• Electronic voting
• Election technology
• Electoral fraud
• Voter-verified paper audit trail
• Scantegrity
• ThreeBallot
• Election audits
• Postal voting

Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

Source URL: uclmr.github.io

• Logic
• Reasoning
• Inductive reasoning
• Predicate logic
• Mathematical logic
• Predicate
• Propositional calculus
• Inference
• Universal quantification
• Axiom

Keys Under Doormats: mandating insecurity by requiring government access to all data and communications Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew

Source URL: www.schneier.com

• Cryptography
• Cyberwarfare
• Computer security
• Clipper chip
• Key escrow
• Crypto Wars
• Strong cryptography
• National Security Agency
• Escrow
• Computer network
• Encryption
• Secure communication