GameSec 2013

Conference on Decision and Game Theory for Security

November 11-12, 2013, Fort Worth, TX, USA

Technical Program

Time Table
November 10
Time Activities
17:00 - 19:00 Light Reception (in front of the Fort Worth Ballroom)

Day 1 (November 11)
Time Activities
07:30 - 08:40 Breakfast (Fort Worth Ballroom 1)
08:40 - 09:00 Welcoming Remarks
09:00 - 10:15 Keynote: Dr. Andrew Odlyzko
10:15 - 10:45 Break
10:45 - 12:15 Paper Session 1
12:15 - 14:00 Lunch
14:00 - 15:15 Panel
15:15 - 15:45 Break
15:45 - 17:15 Paper Session 2
19:00 Banquet Dinner at Reata Restaurant

Day 2 (November 12)
Time Activities
07:30 - 09:00 Breakfast (Fort Worth Ballroom 1)
09:00 - 10:20 Paper Session 3
10:20 - 10:50 Break
10:50 - 12:10 Paper Session 4
12:10 - 14:00 Lunch
14:00 - 15:20 Paper Session 5

*The time slot for full paper presentation will be 25 min + 5 min discussion, and for short paper will be 15 min + 5 min discussion.

Day 1 (November 11)

Paper Session 1 - Session Chair: Murat Kantarcioglu, University of Texas at Dallas
Game-Theoretic Approach to Feedback-Driven Multi-Stage Moving Target Defense
Quanyan Zhu and Tamer Basar
Optimizing Active Cyber Defense
Wenlian Lu, Shouhuai Xu and Xinlei Yi
Mitigation of Targeted and Non-Targeted Covert Attacks as a Timing Game
Aron Laszka, Benjamin Johnson and Jens Grossklags

Paper Session 2 - Session Chair: Sajal Das, Missouri University of Science and Technology
On Communication over Gaussian Sensor Networks with Adversaries: Further Results
Emrah Akyol, Kenneth Rose and Tamer Basar
Monotonic Maximin: A Robust Stackelberg Solution Against Boundedly Rational Followers
Albert Xin Jiang, Thanh Nguyen, Milind Tambe and Ariel Procaccia
Adaptive Regret Minimization in Bounded-Memory Games
Jeremiah Blocki, Nicolas Christin, Anupam Datta and Arunesh Sinha

Day 2 (November 12)

Paper Session 3 - Session Chair: Shouhuai Xu, University of Texas at San Antonio
Equilibrium Concepts for Rational Multiparty Computation
John Ross Wallrabenstein and Chris Clifton
Quantifying Network Topology Robustness Under Budget Constraints: General Model and Computational Complexity
Aron Laszka and Assane Gueye
New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees
Aleksandr Lenin and Ahto Buldas

Paper Session 4 - Session Chair: Assane Gueye, University of Maryland
Security Games for Virtual Machine Allocation in Cloud Computing
Yi Han, Tansu Alpcan, Jeffrey Chan and Christopher Leckie
Controllability of Dynamical Systems: Threat Models and Reactive Security
Carlos Barreto, Alvaro Cardenas and Nicanor Quijano
The Cooperative Ballistic Missile Defence Game
Lanah Evers, Herman Monsuur and Ana Isabel Barros

Paper Session 5 - Session Chair: Matthew Wright, University of Texas at Arlington
A Game Theoretic Analysis of Collaboration in Wikipedia
S. Anand, Ofer Arazy, Narayan B. Mandayam and Oded Nov
Defeating Tyranny of the Masses in Crowdsourcing: Accounting for Low-skilled and Adversarial workers
Aditya Kurve, David J. Miller and George Kesidis
True Randomness Generators using Human Gameplay
Setareh Sharifian, Mohsen Alimomeni and Reihaneh Safavi-Naini

Keynote Program

GameSec 2013 includes a keynote by Dr. Andrew Odlyzko, Professor, School of Mathematics, University of Minnesota.

  • Keynote Speaker: Dr. Andrew Odlyzko, Professor, School of Mathematics, University of Minnesota
    Title: Living securely in an insecure world
    Download Abstract

Panel Program

GameSec 2013 includes the following panel:

  • Panel: "How can we drive GameSec theoretical findings towards significant practical impacts?"
    Moderator: Murat Kantarcioglu, University of Texas at Dallas
    Participants: Sajal Das (Missouri University of Science and Technology)
                          Andrew Odlyzko (University of Minnesota)
                          Milind Tambe (University of Southern California)