Robust Defenses for Cross-Site Request Forgery Adam Barth Collin Jackson Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• World Wide Web
• Software engineering
• Internet privacy
• Cross-site request forgery
• Computer network security
• Hacking
• Ajax
• Same-origin policy
• Cross-site scripting
• HTTP cookie
• Referer spoofing

Deep Diving into Africa’s Inter-Country Latencies Agustin Formoso∗ , Josiah Chavula† , Amreesh Phokeer† ‡ , Arjuna Sathiaseelan§ , Gareth Tyson¶ ∗ LACNIC † AFRINIC ‡ University of Cape Town § Universit

Source URL: www.eecs.qmul.ac.uk

• Computing
• Information and communications technology
• System software
• Broadband
• Latency
• Round-trip delay time
• Cluster analysis
• RIPE Atlas
• Internet access
• Traceroute
• Hop
• Lag

ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

Source URL: www.cs.ox.ac.uk

• Complexity classes
• Differential equations
• Systems science
• Control theory
• Hybrid system
• Systems theory
• NL
• Reachability
• P
• Mathematics

Inferring Internet Denial-of-Service Activity David Moore CAIDA San Diego Supercomputer Center University of California, San Diego

Source URL: cseweb.ucsd.edu

• Denial-of-service attacks
• Cyberwarfare
• Computing
• Computer security
• Denial-of-service attack
• Transmission Control Protocol
• IP address spoofing
• SYN flood
• Ping
• Port scanner
• LAND
• UDP flood attack

Policy Rules in Times of Prolonged Crisis: Quantitative Easing Abroad and Fiscal Adjustment at Home* Paul D. McNelis Fordham University

Source URL: www.hkimr.org

• Economy
• Money
• Monetary policy
• Inflation
• Finance
• Quantitative easing

Augur: Internet-Wide Detection of Connectivity Disruptions Paul Pearce†∗ , Roya Ensafi§∗ , Frank Li† , Nick Feamster§ , Vern Paxson† † University of California, Berkeley § Princeton University

Source URL: people.eecs.berkeley.edu

Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

Source URL: cims.nyu.edu

• Search algorithms
• Routing algorithms
• Combinatorial optimization
• Mathematics
• Information science
• Information retrieval
• Game artificial intelligence
• A* search algorithm
• Heuristic
• Bayesian network
• Dijkstra's algorithm
• Algorithm

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Theoretical computer science
• Mathematics
• Quantification
• Logic in computer science
• Formal methods
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Universal quantification
• True quantified Boolean formula

COLLOQUIUM Mohammad Adm University of Konstanz and University of Regina On the maximum multiplicity of the largest

Source URL: www.uregina.ca

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p