Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

Source URL: www0.cs.ucl.ac.uk

• Computing
• Network architecture
• Routing protocols
• Internet architecture
• Data transmission
• Internet Standards
• Internet protocols
• Routing algorithms
• Routing
• Link-state routing protocol
• IS-IS
• Open Shortest Path First

Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation Philipp Holzinger∗ , Ben Hermann† , Johannes Lerch† , Eric Bodden‡ and Mira Mezini† ∗ Fraunhofer SIT, Email: philipp.holzinger@sit

Source URL: www.ieee-security.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• High-level programming languages
• Concurrent programming languages
• Java platform
• Java
• Call stack
• Stack
• Java Class Library
• Go

NET CONTROL STATION Training Manual Compiled by: Ann-Marie Ruder K8AMR August 2003 Formatted by: David Peterson KE4QDM Converted to pdf file by: John Ibbs KC8WSK

Source URL: clatsopauxcomm.org

Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti

Source URL: www.usenix.org

• Computing
• Flow control
• Network architecture
• Network protocols
• TCP congestion control
• Data transmission
• Network performance
• Transmission Control Protocol
• Packet loss
• TCP window scale option
• CUBIC TCP
• Transport layer

Fibbing: Central Control over Distributed Routing www.fibbing.net Olivier Tilmans UCLouvain

Source URL: fibbing.net

• Computing
• Internet architecture
• Computer networking
• Routing protocols
• Information and communications technology
• Data transmission
• Networking hardware
• Router
• Server appliance
• Interior gateway protocol

On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva

Source URL: www0.cs.ucl.ac.uk

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Routing
• Internet protocols
• Router
• OpenFlow
• Enhanced Interior Gateway Routing Protocol
• Software-defined networking

Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop Yanick Fratantonio Chenxiong Qian, Simon P. Chung, Wenke Lee

Source URL: www.ieee-security.org

• Computing
• Android
• Computer architecture
• System software
• Smartphones
• Social engineering
• IOS
• Mach
• Google Play
• Clickjacking
• Yo
• Mobile security

Monotone Batch NP-Delegation with Applications to Access Control Zvika Brakerski∗ Yael Tauman Kalai†

Source URL: eprint.iacr.org

• Computational complexity theory
• Cryptography
• Complexity classes
• Theory of computation
• NP
• IP
• Advice
• PP
• P
• Soundness
• Commitment scheme
• Certificate

Department of Human Resource Management Internal Control Questionnaire Review Results as of June 2018

Source URL: www.apa.virginia.gov

• Internal audit
• Accounting
• Auditing
• Business
• Risk management
• Internal control
• Audit
• Control environment
• Model Audit Rule 205
• Fraud deterrence