LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Algebra
• Abstract algebra
• Distribution
• Number theory
• Valuation
• Universal property
• BorelKolmogorov paradox

USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16)

Source URL: www.usenix.org

• Microsoft Research
• Aditya Akella
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Research
• Computer science
• Knowledge

Proceedings on Privacy Enhancing Technologies ; ):179–199 Steven Goldfeder*, Harry Kalodner, Dillon Reisman, and Arvind Narayanan When the cookie meets the blockchain: Privacy risks of web payments via cryptocu

Source URL: www.petsymposium.org

• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Economy
• Money
• Finance
• Blockchains
• Digital currencies
• CoinJoin
• BitPay
• Ethereum
• RootStock

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

Source URL: scan2018.oishi.info.waseda.ac.jp

• Mathematics
• Computer arithmetic
• Numerical analysis
• Applied mathematics
• Arithmetic
• Interval arithmetic
• Computer-assisted proof
• Computational science
• Scan

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Flexible and Scalable Deep Learning with MMLSpark Mark Hamilton Sudarshan

Source URL: proceedings.mlr.press

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel

Source URL: proceedings.mlr.press

• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Applied mathematics

ZKProof Standards Security Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs:​​

Source URL: zkproof.org

• Cryptography
• Computational complexity theory
• Complexity classes
• Cryptographic protocols
• Non-interactive zero-knowledge proof
• Interactive proof system
• Proof of knowledge
• Zero-knowledge proof
• NP
• Zero knowledge
• IP
• Soundness

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs DragonPaint: Rule Based Bootstrapping for Small Data with an Application to Cartoon Coloring K. Gr

Source URL: proceedings.mlr.press

• Plant morphology
• Plant reproductive system
• Pollination
• Reproduction
• Dungeons & Dragons
• Computational neuroscience
• Behavior
• Artificial neural network
• Petal
• Dragon
• Flower
• Yellow

Full version of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) Hovav Shacham∗ hovav@cs.

Source URL: hovav.net

• Computing
• Computer architecture
• Computer security
• Software bugs
• Machine code
• X86 architecture
• X86 instructions
• Return-oriented programming
• Stack buffer overflow
• PaX
• Shellcode
• Buffer overflow

Filtering Out the Bots: What Americans Actually Told the FCC about Net Neutrality Repeal A state-by-state, district-by-district look at linguistically unique comments filed to the FCC in the 2017 repeal proceedings

Source URL: cyberlaw.stanford.edu

• Net neutrality
• Government
• Federal Communications Commission
• Mass media
• FCC Open Internet Order
• Internet service provider
• Law
• Notice of proposed rulemaking
• Net neutrality in the United States
• Net neutrality by country