Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings

Source URL: www.usenix.org

• Software
• Computing
• Web browsers
• Computer network security
• Mozilla
• Social engineering
• Portable software
• Phishing
• Firefox
• Microsoft SmartScreen
• Mozilla Corporation
• Google Chrome

On Abstra t Interpretation of Mobile Ambients  Fran es a Levi DISI, University of Genova, Italy Sergio Maeis Department of Computing, Imperial College, UK levifrandisi.unige.it

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

• Ambient calculus
• Process calculi

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

Source URL: chenglongwang.org

Seamless Network-Wide IGP Migrations Laurent Vanbever∗, Stefano Vissicchio†, Cristel Pelsser‡, Pierre Francois∗, Olivier Bonaventure∗ ∗ Université catholique de Louvain † Roma Tre University ‡ Internet

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

• Computing
• Network architecture
• Routing protocols
• Data transmission
• Internet Standards
• Internet architecture
• Routing
• Internet protocols
• Open Shortest Path First
• Distance-vector routing protocol
• Interior gateway protocol
• Router

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

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

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Logic in computer science
• Programming language semantics
• Abstract interpretation
• Operational semantics
• ALGOL 68
• Syntax
• Programming language

Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

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

• Greek letters
• Timed automaton
• Symbol
• Zeta

Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge

Source URL: thev.net

Learning Outcomes for Master in Information Management National Qualification Framework for Iceland Master of Information Management at Reykjavik University Master in Information Management is aECTS masters lev

Source URL: en.ru.is

• Education
• Metaphysics
• Knowledge
• Information
• Social information processing
• Educational psychology
• Information system
• Bachelor's degree
• Knowledge economy
• Master's degree
• Information management
• Academic degree

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline

Skill Squatting Attacks on Amazon Alexa Deepak Kumar University of Illinois Riccardo Paccagnella

Source URL: kumarde.com

• Amazon
• Amazon Alexa
• Affordable housing
• Anarcho-punk
• DIY culture
• Real property law
• Alexa
• Squatting
• Deepak
• Artificial intelligence
• Human behavior
• Land law