Poster: Shell We Play A Game? CTF-as-a-service for Security Education Adam Doup´e and Giovanni Vigna Arizona State University and UC Santa Barbara ,

Source URL: www.ieee-security.org

• Computer security
• Security engineering
• Cyberwarfare
• Prevention
• Cybercrime
• National security
• Computer network security
• Cyberattack
• Capture the flag
• Information security
• Denial-of-service attack

Botcoin: Monetizing Stolen Cycles Danny Yuxing Huang, Hitesh Dharmdasani† , Sarah Meiklejohn Vacha Dave, Chris Grier∗ , Damon McCoy† , Stefan Savage, Nicholas Weaver∗ Alex C. Snoeren and Kirill Levchenko UC San D

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Concurrent computing
• Computing
• Computer network security
• Multi-agent systems
• Spamming
• Cybercrime
• Botnet
• Mining pool
• ZeroAccess botnet
• Satoshi Nakamoto

Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley

Source URL: www.forth.org

• Data types
• Software engineering
• Mathematics
• Computing
• Const
• Transpose
• Matrix
• Programming language syntax
• ELLA

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

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

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Déjà Q: Using Dual Systems to Revisit q-Type Assumptions Melissa Chase (MSR Redmond) Sarah Meiklejohn (UC San Diego → University College London)

Source URL: smeiklej.com

• Cryptography
• Public-key cryptography
• Pairing-based cryptography
• Elliptic curve cryptography
• Pairing
• IBE

Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract

Source URL: web.cs.ucdavis.edu

• Reputation management
• Interpersonal relationships
• Human behavior
• Accountability
• Emotions
• Social constructionism
• Trust
• Behavioural sciences
• Psychology
• Reputation
• Trust management
• Computational trust

Full version of an extended abstract published in Proceedings of Eurocrypt 2014, Springer-Verlag, 2014. D´ej`a Q: Using Dual Systems to Revisit q-Type Assumptions Sarah Meiklejohn∗ UC San Diego

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• XTR
• Verifiable random function
• Computational hardness assumptions
• Group theory
• Lie groups

Design and Implementation of a Consolidated Middlebox Architecture Vyas Sekar∗ , Norbert Egi†† , Sylvia Ratnasamy† , Michael K. Reiter? , Guangyu Shi †† ∗ Intel Labs, † UC Berkeley, ? UNC Chapel Hill, †

Source URL: www3.cs.stonybrook.edu

• Computing
• Information and communications technology
• Computer network security
• Networking hardware
• Computer networking
• Data transmission
• Computer security
• Firewall software
• Middlebox
• Computer appliance
• Packet processing
• Computer network

A Look at the Consequences of Internet Censorship Through an ISP Lens Sheharbano Khattak1 , Mobin Javed2 , Syed Ali Khayam3 , Zartash Afzal Uzmi4 , Vern Paxson2,5 1 University of Cambridge, 2 UC Berkeley, 3 PLUMgrid, 4

Source URL: sheharbano.com

Making Sense of Performance in Data Analytics Frameworks Kay Ousterhout∗ , Ryan Rasti∗† , Sylvia Ratnasamy∗ , Scott Shenker∗† , Byung-Gon Chun‡ ∗ UC Berkeley, † ICSI,  VMware, ‡ Seoul National Unive

Source URL: people.eecs.berkeley.edu

• Computing
• Concurrent computing
• Apache Software Foundation
• Parallel computing
• Input/output
• Scheduling
• Data management
• Apache Hadoop
• Data-intensive computing
• Benchmark
• Apache Spark
• MapReduce