Goldberg - PDFSEARCH.IO - Document Search Engine

Goldberg
Results: 1873

#	Item
1	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:10:59 Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system
2	Proceedings on Privacy Enhancing Technologies 2015; ):4–24 Nikita Borisov, George Danezis, and Ian Goldberg* DP5: A Private Presence Service Abstract: Users of social applications like to be notified Add to Reading List Source URL: www.degruyter.com Language: English Cryptography Public-key cryptography Transport Layer Security Cross-platform software Internet protocols Cryptographic protocols Private information retrieval XMPP Forward secrecy HTTPS Email WHOIS
3	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Software engineering Computer programming Concurrent programming languages High-level programming languages Type theory Programming languages Program analysis Java virtual machine Type system Go Java
4	Proceedings on Privacy Enhancing Technologies ; ):37–61 Sheharbano Khattak, Tariq Elahi, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, and Ian Goldberg SoK: Making Sense of Censorship Resistance Syst Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:22 Internet privacy Internet censorship Computing Digital rights Information and communications technology Internet security Firewall software Great Firewall Proxy server Deep packet inspection Censorship DNS hijacking
5	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
6	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network
7	SkypeMorph: Protocol Obfuscation for Tor Bridges∗ Hooman Mohajeri Moghaddam Baiyu Li Mohammad Derakhshani Ian Goldberg Cheriton School of Computer Science Add to Reading List Source URL: crysp.uwaterloo.ca Language: English - Date: 2018-08-13 15:14:33 Computing Software Computer architecture Skype Videotelephony Cryptographic protocols Internet protocols Skype protocol Deep packet inspection Voice over IP BitTorrent protocol encryption Transmission Control Protocol
8	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Logic Type theory Theoretical computer science Logic in computer science Automated theorem proving Reasoning Program analysis Natural deduction Logical framework Resolution First-order logic
9	Reusing Software Developments Allen Goldberg Kestrel Institute 3260 Hillview Ave. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Computer programming Software engineering Cognitive science Theoretical computer science Generative linguistics Grammar frameworks Noam Chomsky Compiler construction Recursion Optimizing compiler TACTIC Transformational grammar
10	Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-20 08:19:38 Computing Internet Internet security Secure communication Free software Transmission Control Protocol Tor Support vector machine