Global Measurement of DNS Manipulation Paul Pearce Ben Jones† Frank Li Roya Ensafi† Nick Feamster† Nick Weaver‡ Vern Paxson  University

Source URL: people.eecs.berkeley.edu

• Domain name system
• Internet
• Computing
• Network architecture
• Name server
• DNS hijacking
• Google Public DNS
• Denial-of-service attack
• DNS root zone
• Root name server
• OpenDNS
• Hosts

BreakApp: Automated, Flexible Application Compartmentalization Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, Andr´e DeHon, Jonathan M. Smith University of Pennsylvania {nvas, karel, nroess, ndd, andre, j

Source URL: nikos.vasilak.is

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• High-level programming languages
• Scripting languages
• Functional languages
• Programming languages
• Loadable kernel module
• Coupling
• Modular programming
• Kernel

Towards a high level programming paradigm to deploy e-science applications with dynamic workflows on large scale distributed systems Mohamed Ben Belgacem Nabil Abdennadher

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

• Concurrent computing
• Parallel computing
• Computing
• IT infrastructure
• Cloud infrastructure
• Job scheduling
• Apache Hadoop
• Apache Software Foundation
• Data-intensive computing
• Workflow
• Algorithmic skeleton
• Programming paradigm

STATE OF IDAHO OFFICE OF THE SECRETARY OF STATE BEN YSURSA For Immediate Release Monday, November 19, 2012

Source URL: sos.idaho.gov

STATE OF IDAHO OFFICE OF THE SECRETARY OF STATE BEN YSURSA For Immediate Release: Tuesday, October 28, 2014 Contact: Office of the Secretary of State, Election Division

Source URL: sos.idaho.gov

• Elections
• Voting
• Politics
• Group decision-making
• Absentee ballot
• Early voting
• Electronic voting
• Election Day
• Ben Ysursa

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa†

Source URL: web.eecs.umich.edu

• Computational complexity theory
• Complexity classes
• Theory of computation
• NP
• Probabilistically checkable proof
• IP
• Proof of knowledge
• Reduction
• NC
• Craig interpolation
• EXPTIME
• Combinatory logic

Facade: High-Throughput, Deniable Censorship Circumvention Using Web Search Ben Jones Sam Burnett Nick Feamster Sean Donovan Sarthak Grover Sathya Gunasekaran Karim Habak

Source URL: www.usenix.org

• Computing
• Internet
• Internet protocols
• Network architecture
• Internet privacy
• Internet security
• Internet Standards
• Network protocols
• Hypertext Transfer Protocol
• SOCKS
• HTTP cookie
• World Wide Web

STATE OF IDAHO OFFICE OF THE SECRETARY OF STATE BEN YSURSA For Immediate Release: March 3, 2014 Contact: Tim Hurst, Chief Deputy, Election Division

Source URL: sos.idaho.gov

• Right-wing politics
• Political parties
• Unaffiliated
• International relations
• Ben Ysursa
• Constitution Party
• Political parties in the United States
• Primary election
• Libertarian Party of Louisiana
• Elections in the United States

Constructing Plan Trees for Simulated Penetration Testing Dorin Shmaryahu Information Systems Engineering Ben Gurion University Israel

Source URL: icaps16.icaps-conference.org

• Security engineering
• Mathematics
• Computing
• Dynamic programming
• Partially observable Markov decision process
• Stochastic control
• Theoretical computer science
• Heuristic
• Automated planning and scheduling
• Shortest path problem
• Mathematical optimization
• Computer security

Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position