Kathleen Gallagher Cunningham Dept. of Government and Politics, University of Maryland 3140 Tydings Hall, College Park, MDCurrent Positions – present

Source URL: www.kathleengallaghercunningham.com

• Peace and conflict studies
• Scott Gates
• Peace
• Political science
• Ethics
• Political philosophy
• Monica Toft
• Milton Heumann

Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf

Source URL: benjaminvandersloot.com

• Computing
• System software
• Software
• Internet privacy
• Computer network security
• Internet censorship in China
• Echo Protocol
• Deep packet inspection
• Internet censorship
• Nmap
• Transmission Control Protocol
• Discard Protocol

Journeys in World Politics, October 28th-30th, 2004 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Oct. 28 6:30-8:30 p.m. Dinner

Source URL: www.saramitchell.org

Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE

Source URL: www.maria-a-schett.net

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

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

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic

DR. KRISTA E. WIEGAND Director, Global Security Program Howard H. Baker Jr. Center for Public Policy University of Tennessee, Knoxville 1640 Cumberland Ave. Knoxville, TN

Source URL: www.kristawiegand.com

• Political science
• International relations
• Global politics
• Conflict
• Conflict resolution
• Dispute resolution
• Family therapy
• Reconciliation
• Wiegand
• Peace and conflict studies
• American University School of International Service
• Territorial dispute

HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu

Source URL: www.ieee-security.org

• Computing
• Free software
• Dark web
• Internet
• Cryptographic protocols
• Internet Standards
• Computer network security
• Tor
• .onion
• Botnet
• Internet privacy
• Bipartite graph

The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

Source URL: www.lix.polytechnique.fr

• Parallel computing
• Computing
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Message Passing Interface
• Model checking
• Computer programming
• Computational science
• Simulation

Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email:

Source URL: www.ieee-security.org

• Computer programming
• Computing
• Mathematics
• Theoretical computer science
• Boolean algebra
• Error detection and correction
• Compiler construction
• Hash function
• Avalanche effect
• Optimizing compiler
• Recursion
• MD5

Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When

Source URL: www.pepper-project.org

• Cryptography
• Distributed computing architecture
• Parallel computing
• MapReduce
• Certificate
• IP
• NP
• Commitment scheme
• PP
• Computational complexity theory